|
On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories
K. Zh. Kudaibergenov School of General Education, KIMEP, Almaty, Kazakhstan
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.
Key words:
model-theoretical properties, mutually interpretable theories.
Received: 26.03.2015
Citation:
K. Zh. Kudaibergenov, “On model-theoretical properties in the sense of Peretyat’kin, o-minimality, and mutually interpretable theories”, Mat. Tr., 18:2 (2015), 39–48; Siberian Adv. Math., 26:3 (2016), 190–195
Linking options:
https://www.mathnet.ru/eng/mt292 https://www.mathnet.ru/eng/mt/v18/i2/p39
|
|