Publications > Preprint server > Preprint Number 1768
Preprint Number 1768
1768. Daniel Max Hoffmann, Chieu-Minh Tran, Jinhe Ye Stable formulas in ordered structures E-mail: Submission date: 23 April 2020 Abstract: 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. Mathematics Subject Classification: Primary: 03C64. Secondary: 03C45, 03C10 Keywords and phrases: real closed fields, ordered structures, stable formulas |
Last updated: March 23 2021 09:21 | Please send your corrections to: |