Preservation of \(\omega\)-categoricity in expanding the models of weakly o-minimal theories. (English. Russian original) Zbl 1522.03137
Sib. Math. J. 59, No. 2, 207-216 (2018); translation from Sib. Mat. Zh. 59, No. 2, 264-276 (2018).
Summary: Studying the model-theoretic properties that are preserved under expansion of the models of countably categorical weakly o-minimal theories of finite convexity rank with convex unary predicates, we show that countable categoricity and convexity rank are among these properties.
MSC:
| 03C64 | Model theory of ordered structures; o-minimality |
| 03C35 | Categoricity and completeness of theories |
References:
| [1] | Macpherson, H. D.; Marker, D.; Steinhorn, C., Weakly o-minimal structures and real closed fields, Trans. Amer. Math. Soc., 352, 5435-5483, (2000) · Zbl 0982.03021 · doi:10.1090/S0002-9947-00-02633-7 |
| [2] | Pillay, A.; Steinhorn, C., Definable sets in ordered structures. I, Trans. Amer. Math. Soc., 295, 565-592, (1986) · Zbl 0662.03023 · doi:10.1090/S0002-9947-1986-0833697-X |
| [3] | Knight, J.; Pillay, A.; Steinhorn, C., Definable sets in ordered structures. II, Trans. Amer. Math. Soc., 295, 593-605, (1986) · Zbl 0662.03024 · doi:10.1090/S0002-9947-1986-0833698-1 |
| [4] | Pillay, A.; Steinhorn, C., Definable sets in ordered structures. III, Trans. Amer. Math. Soc., 309, 469-476, (1988) · Zbl 0707.03024 · doi:10.1090/S0002-9947-1988-0943306-9 |
| [5] | Dries, L.; Lolli, G. (ed.); Longo, G. (ed.); Marcja, A. (ed.), Remarks on tarski’s problem concerning 〈\(R\),+, *, exp〉, 97-121, (1984), Amsterdam · doi:10.1016/S0049-237X(08)71811-1 |
| [6] | Dickmann, M., Elimination of quantifiers for ordered valuation rings, J. Symb. Log., 52, 116-128, (1987) · Zbl 0624.03025 · doi:10.2307/2273866 |
| [7] | Kulpeshov, B. Sh., Weakly o-minimal structures and some of their properties, J. Symb. Log., 63, 1511-1528, (1998) · Zbl 0926.03041 · doi:10.2307/2586664 |
| [8] | Baizhanov, B. S., Expansion of a model of a weakly o-minimal theory by a family of unary predicates, J. Symb. Log., 66, 1382-1414, (2001) · Zbl 0992.03047 · doi:10.2307/2695114 |
| [9] | Kulpeshov, B. Sh., Countably categorical quite o-minimal theories, J. Math. Sci., 188, 387-397, (2013) · Zbl 1280.03043 · doi:10.1007/s10958-012-1136-1 |
| [10] | Kulpeshov, B. Sh., Criterion for binarity of \(N\)_{0}-categorical weakly o-minimal theories, Ann. Pure Appl. Logic, 45, 354-367, (2007) · Zbl 1112.03034 · doi:10.1016/j.apal.2006.10.004 |
| [11] | Kulpeshov, B. Sh., Countably categorical weakly o-minimal structures of finite convexity rank, Sib. Math. J., 57, 606-617, (2016) · Zbl 1432.03071 · doi:10.1134/S0037446616040054 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
