Abstract
We consider partially ordered models. We introduce the notions of a weakly (quasi-)p.o.-minimal model and a weakly (quasi-)p.o.-minimal theory. We prove that weakly quasi-p.o.-minimal theories of finite width lack the independence property, weakly p.o.-minimal directed groups are Abelian and divisible, weakly quasi-p.o.-minimal directed groups with unique roots are Abelian, and the direct product of a finite family of weakly p.o.-minimal models is a weakly p.o.-minimal model. We obtain results on existence of small extensions of models of weakly quasi-p.o.-minimal atomic theories. In particular, for such a theory of finite length, we find an upper estimate of the Hanf number for omitting a family of pure types. We also find an upper bound for the cardinalities of weakly quasi-p.o.-minimal absolutely homogeneous models of moderate width.
Similar content being viewed by others
References
O. Belegradek, Y. Peterzil, and F. Wagner, “Quasi-o-minimal structures,” J. Symbolic Logic 65(3), 1115–1132 (2000).
M. Bhattacharjee, D. Macpherson, R. G. Möller, and P. M. Neumann, Notes on Infinite Permutation Groups (Springer, Berlin, 1998).
M. A. Dickmann, “Elimination of quantifiers for ordered valuation rings,” in Proc. of the 3rd Easter Conf. on Model Theory (Gross Koris, 1985), (Humboldt Univ., Berlin, 1985), 64–88.
Yu. L. Ershov, Decision Problems and Constructivizable Models (Nauka, Moscow, 1980) [in Russian].
K. Zh. Kudaĭbergenov, “A conjecture of Shelah,” Algebra i Logika 26(2), 191–203 (1987) [Algebra and Logic 26 (2), 115–121 (1987)].
K. Zh. Kudaĭbergenov, “Homogeneous models of stable theories,” Trudy Inst. Mat. 25, 41–73 (1993) [Siberian Adv.Math. 3 (3), 56–88 (1993).]
K. Zh. Kudaĭbergenov, “Small extensions of models of o-minimal theories and absolute homogeneity,” Mat. Trudy 10(1), 154–163 (2007) [Siberian Adv.Math. 18 (2), 118–123 (2008)].
K. Zh. Kudaĭbergenov, “Weakly quasi-o-minimal models,” Mat. Trudy 13(1), 156–168 (2010) [Siberian Adv. Math. 20 (4), 285–292 (2010)].
D. Macpherson, D. Marker, and C. Steinhorn, “Weakly o-minimal structures and real closed fields,” Trans. Amer.Math. Soc. 352(12), 5435–5483 (2000).
D. Marker, “Omitting types in O-minimal theories,” J. Symbolic Logic 51(1), 63–74 (1986).
L. Newelski and R. Wencel, “Definable sets in boolean-ordered o-minimal structures. I,” J. Symbolic Logic 66(4), 1821–1836 (2001).
A. Pillay and C. Steinhorn, “Definable sets in ordered structures. I,” Trans. Amer.Math. Soc. 295(2), 565–592 (1986).
B. Poizat, “Theóries instables,” J. Symbolic Logic 46(3), 513–522 (1981) [in French].
S. Shelah, “Finite diagrams stable in power,” Ann. Math. Logic 2(1), 69–118 (1970).
S. Shelah, “Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory,” Ann.Math. Logic 3(3), 271–362 (1971).
S. Shelah, Classification Theory and the Number of Nonisomorphic Models (NorthHolland, Amsterdam, 1978).
C. Toffalori, “Lattice ordered o-minimal structures,” Notre Dame J. Formal Logic 39(4), 447–463 (1998).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © K. Zh. Kudaĭbergenov, 2012, published in Matematicheskie Trudy, 2012, Vol. 15, No. 1, pp. 86–108.
About this article
Cite this article
Kudaĭbergenov, K.Z. Generalized o-minimality for partial orders. Sib. Adv. Math. 23, 47–60 (2013). https://doi.org/10.3103/S1055134413010045
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S1055134413010045