Abstract
We prove that o-minimality is not a model-theoretical property in the sense of Peretyat’kin. We also prove that existence of a prime models need not be preserved under a passage between mutually interpretable theories.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
C. C. Chang and H. J. Keisler, Model Theory (North-Holland, Amsterdam, 1990).
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic (Nauka, Moscow, 1987) [in Russian].
J. Knight, A. Pillay, and C. Steinhorn, “Definable sets in ordered structures. II,” Trans. Amer.Math. Soc. 295, 593 (1986).
D. Macpherson, D. Marker, and C. Steinhorn, “Weakly o-minimal structures and real closed fields,” Trans. Amer.Math. Soc. 352, 5435 (2000).
M. G. Peretyat’kin, “First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories,” Mat. Trudy 18, 61 (2015) [in Russian].
A. Pillay and C. Steinhorn, “Definable sets in ordered structures. I,” Trans. Amer.Math. Soc. 295, 565 (1986).
S. Shelah, Classification Theory and the Number of NonisomorphicModels (North Holland, Amsterdam, 1978).
J. R. Shoenfield, Mathematical Logic (Addison-Wesley, Reading,MA, 1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © K.Zh. Kuda˘ıbergenov, 2015, published in Matematicheskie Trudy, 2015, Vol. 18, No. 2, pp. 39–48.
About this article
Cite this article
Kudaĭbergenov, K.Z. On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories. Sib. Adv. Math. 26, 190–195 (2016). https://doi.org/10.3103/S1055134416030032
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1055134416030032