Abstract
Roughly speaking, an ordered structure \((M,<,\dots)\) is o-stable if any cut in \(M\) has a few extensions up to complete 1-types over \(M\). A theory is o-stable if all its models are. O-stability is a generalization of (weak) o-minimality and quasi-o-minimality by using the notion of a stable theory. In the paper, we prove that no proper (essential) expansion of the ordered group of integers \((\mathbb{Z},<,+)\) has an o-stable theory.
REFERENCES
E. Alouf and C. D’Elbée, ‘‘A new dp-minimal expansion of the integers,’’ arXiv: 1707.07203 (2019).
M. Aschenbrenner, A. Dolich, D. Haskell, D. Macpherson, and S. Starchenko, ‘‘Vapnik–Chervonenkis density in some theories without the independence property, I,’’ Trans. Am. Math. Soc. 368, 5889–5949 (2016).
B. Baizhanov and V. Verbovskii, ‘‘O-stable theories,’’ Algebra Logic 50, 211–225 (2011).
O. Belegradek, Ya. Peterzil, and F. O. Wagner, ‘‘Quasi-\(o\)-minimal structures,’’ J. Symb. Logic 65, 1115–1132 (2000).
O. V. Belegradek, F. Point, and F. O. Wagner, ‘‘A quasi-\(o\)-minimal group without the exchange property,’’ M.S.R.I. Preprint Ser. No. 1998-051 (MSRI, 1998).
O. V. Belegradek, A. P. Stolboushkin, and M. A. Taitslin, ‘‘Extended order-generic queries,’’ Ann. Pure Appl. Logic 97, 85–125 (1999).
A. B. Dauletiyarova and V. V. Verbovskiy, ‘‘Piecewise monotonicity for unary functions in o-stable groups,’’ Algebra Logic 60, 23–38 (2021).
C. Michaux and R. Villemaire, ‘‘Presburger arithmetic and recognizability of sets of natural numbers by automata,’’ Ann. Pure Appl. Logic 77, 251–271 (1996).
A. L. Semenov, ‘‘On certain extensions of the arithmetic of addition of natural numbers,’’ Math. USSR-Izv. 15, 401–418 (1980).
A. L. Semenov and S. F. Soprunov, ‘‘Lattice of definability (of reducts) for integers with successor,’’ Izv. Math. 85, 1257–1269 (2021).
V. V. Verbovskiy, ‘‘DP-minimal and ordered stable ordered structures,’’ Mat. Zh. 10 (2), 35–38 (2010).
V. V. Verbovskiy, ‘‘O-stable ordered groups,’’ Sib. Adv. Math. 22, 50–74 (2012).
V. V. Verbovskiy, ‘‘On a classifications of theories without the independence property,’’ Math. Logic Q. 59, 119–124 (2013).
V. V. Verbovskiy, ‘‘On ordered groups of Morley o-rank 1,’’ Sib. Electron. Math. Rep. 15, 314–320 (2018).
V. V. Verbovskiy, ‘‘On definability of types and relative stability,’’ Math. Logic Q. 65, 332–346 (2019).
E. Walsberg, ‘‘Dp-minimal expansions of discrete ordered abelian groups,’’ arXiv: 1903.06222 (2019).
V. Weispfenning, ‘‘Elimination of quantifiers for certain ordered and lattice-ordered abelian groups,’’ in Proceedings of the Model Theory Meeting, Brussels, Mons, 1980 (1981), Vol. 33, pp. 131–155.
V. Weispfenning, ‘‘Model theory of Abelian l-groups,’’ in Lattice-Ordered Groups, Ed. by A. M. W. Glass and W. Charles Holland (Kluwer Academic, Dordrecht, 1989).
Funding
The authors were supported by the grant BR20281002 of the SC of the MSHE of the Republic of Kazakhstan.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors of this work declare that they have no conflicts of interest.
Additional information
Publisher’s Note.
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
(Submitted by I. Sh. Kalimullin)
Rights and permissions
About this article
Cite this article
Verbovskiy, V.V., Yershigeshova, A.D. On o-Stable Expansions of \(\boldsymbol{(\mathbb{Z},<,+)}\). Lobachevskii J Math 44, 5485–5492 (2023). https://doi.org/10.1134/S1995080223120387
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080223120387