Abstract
Continuing the study of weak \( o \)-minimality, we prove a theorem on the behavior of a definable unary function on the set of realizations of a nonalgebraic 1-type in an arbitrary weakly \( o \)-minimal theory. Under study are the properties of almost \( \omega \)-categorical weakly \( o \)-minimal theories. We find sufficient conditions both for weak orthogonality and orthogonality of any finite family of nonalgebraic 1-types over the empty set. The main result of the paper is a criterion for binarity of almost \( \omega \)-categorical weakly \( o \)-minimal theories.
Similar content being viewed by others
References
Macpherson H. D., Marker D., and Steinhorn C., “Weakly \( o \)-minimal structures and real closed fields,” Trans. Amer. Math. Soc., vol. 352, no. 12, 5435–5483 (2000).
Kulpeshov B. Sh., “Weakly \( o \)-minimal structures and some of their properties,” J. Symb. Log., vol. 63, no. 4, 1511–1528 (1998).
Kulpeshov B. Sh. and Sudoplatov S. V., “Vaught’s conjecture for quite \( o \)-minimal theories,” Ann. Pure Appl. Logic, vol. 168, no. 1, 129–149 (2017).
Baizhanov B. S., “Expansion of a model of a weakly \( o \)-minimal theory by a family of unary predicates,” J. Symb. Log., vol. 66, no. 3, 1382–1414 (2001).
Ikeda K., Pillay A., and Tsuboi A., “On theories having three countable models,” Math. Log. Q., vol. 44, no. 2, 161–166 (1998).
Sudoplatov S. V., Classification of Countable Models of Complete Theories. Parts 1 and 2, NGTU, Novosibirsk (2018) [Russian].
Peretyatkin M. G., “Theories with three countable models,” Algebra Logic, vol. 19, no. 2, 139–147 (1980).
Kulpeshov B. Sh. and Sudoplatov S. V., “Linearly ordered theories which are nearly countably categorical,” Math. Notes, vol. 101, no. 3, 475–483 (2017).
Altayeva A. B. and Kulpeshov B. Sh., “Binarity of almost \( \omega \)-categorical quite \( o \)-minimal theories,” Sib. Math. J., vol. 61, no. 3, 379–390 (2020).
Kulpeshov B. Sh. and Mustafin T. S., “Almost \( \omega \)-categorical weakly \( o \)-minimal theories of convexity rank 1,” Sib. Math. J., vol. 62, no. 1, 52–65 (2021).
Kulpeshov B. Sh., “Criterion for binarity of \( \aleph_{0} \)-categorical weakly \( o \)-minimal theories,” Ann. Pure Appl. Logic, vol. 45, no. 3, 354–367 (2007).
Alibek A., Baizhanov B. S., Kulpeshov B. Sh., and Zambarnaya T. S., “Vaught’s conjecture for weakly \( o \)-minimal theories of convexity rank 1,” Ann. Pure Appl. Logic, vol. 169, no. 11, 1190–1209 (2018).
Kulpeshov B. Sh., “Vaught’s conjecture for weakly \( o \)-minimal theories of finite convexity rank,” Izv. Math., vol. 84, no. 2, 324–347 (2020).
Altayeva A. B. and Kulpeshov B. Sh., “On almost omega-categoricity of weakly \( o \)-minimal theories,” Sib. Electron. Math. Rep., vol. 18, no. 1, 247–254 (2021).
Baizhanov B. S., “Orthogonality of one-types in weakly \( o \)-minimal theories,” in: Algebra and Model Theory. II, Novosibirsk State Technical Univ., Novosibirsk (1999), 3–28.
Baizhanov B. S. and Kulpeshov B. Sh., “On behaviour of \( 2 \)-formulas in weakly \( o \)-minimal theories,” in: Mathematical Logic in Asia. Proc. 9th Asian Logic Conf., World Sci., Singapore (2006), 31–40.
Funding
This research has been funded by the Science Committee of the Ministry of Education and Science of the Republic of Kazakhstan (Grant No. AP08855544).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2021, Vol. 62, No. 6, pp. 1313–1329. https://doi.org/10.33048/smzh.2021.62.608
Rights and permissions
About this article
Cite this article
Kulpeshov, B.S. A Criterion for Binarity of Almost \( \omega \)-Categorical Weakly \( o \)-Minimal Theories. Sib Math J 62, 1063–1075 (2021). https://doi.org/10.1134/S0037446621060082
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446621060082