Author： Buzykaeva A.N.
Publisher： Springer Publishing Company
ISSN： 0037-4466
Source： Siberian Mathematical Journal, Vol.43, Iss.6, 2002-11, pp. : 1023-1026
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
We consider recursive representations for the set of rational numbers with a distinguished dense and codense subset and for some Boolean algebras with a distinguished subalgebra. We show that the rejection of recursiveness of the distinguished submodel opens up the possibility of constructing models without nontrivial automorphisms. The proof is carried out by the priority method.
Related content
Elementary submodels of parametrizable models
By Morozov A.
Siberian Mathematical Journal, Vol. 47, Iss. 3, 2006-05 ,pp. :
Access to resources
Recommend
Semi-stable models for rigid-analytic spaces
By Hartl Urs T.
manuscripta mathematica, Vol. 110, Iss. 3, 2003-03 ,pp. :
The topology of elementary submodels
Topology and its Applications, Vol. 82, Iss. 1, 1998-01 ,pp. :
Classification of Differential Invariant Submodels
Siberian Mathematical Journal, Vol. 45, Iss. 3, 2004-05 ,pp. :
Compact spaces, compact cardinals, and elementary submodels
By Kunen K.
Topology and its Applications, Vol. 130, Iss. 2, 2003-05 ,pp. :