Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Mathematics
On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova
On Specifications Of Positive Data Models With Effectively Separable Kernels Of Algorithmic Representations, Nodira R. Karimova
Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences
It is established that any effectively separable multi-sorted positively representable model with an effectively separable representation kernel has an enrichment that is the only (up to isomorphism) model constructed from constants for a suitable computably enumerable set of sentences.