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, access via your institution.
Buy single article
Instant access to the full article PDF.
Price includes VAT (USA)
Tax calculation will be finalised during checkout.
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).
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
- model-theoretical properties
- mutually interpretable theories