Computability and Universal Determinability of Negatively Representable Models
R. N. DadazhanovNational University of Uzbekistan, 4 University str., 100174, Tashkent, Republic of Uzbekistan
ABI
Abstract
It has been established that a negative representable model is computable if and only if its standard enrichment with constants is isomorphically embedded in any model of a suitable computable enumerated set of universal sentences implemented in this model. It is shown that for computable enumerable sets of existential sentences this statement is incorrect.