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 Hironaka’s theorem on resolution of singularities.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have