arXiv Analytics

Sign in

arXiv:2004.10953 [math.LO]AbstractReferencesReviewsResources

Stable formulas in ordered structures

Daniel Max Hoffmann, Chieu-Minh Tran, Jinhe Ye

Published 2020-04-23Version 1

We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third result, unexpectedly, requires the Hironaka's theorem on resolution of singularities.

Categories: math.LO
Subjects: 03C64, 03C45, 03C10
Related articles: Most relevant | Search more
arXiv:2209.03944 [math.LO] (Published 2022-09-08)
Dependent positive theories and automorphisms of ordered structures
arXiv:math/0609636 [math.LO] (Published 2006-09-22, updated 2017-08-07)
Dependent T and existence of limit models
arXiv:1402.6520 [math.LO] (Published 2014-02-26)
Decomposable ordered groups

Links

Toolbox