Notre Dame Journal of Formal Logic

The Marker–Steinhorn Theorem via Definable Linear Orders

Erik Walsberg

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We give a short proof of the Marker–Steinhorn theorem for o-minimal expansions of ordered groups. The key tool is Ramakrishnan’s classification of definable linear orders in such structures.

Article information

Source
Notre Dame J. Formal Logic, Volume 60, Number 4 (2019), 701-706.

Dates
Received: 8 August 2017
Accepted: 10 August 2018
First available in Project Euclid: 6 September 2019

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1567735226

Digital Object Identifier
doi:10.1215/00294527-2019-0026

Mathematical Reviews number (MathSciNet)
MR4019868

Subjects
Primary: 03C64: Model theory of ordered structures; o-minimality
Secondary: 03C45: Classification theory, stability and related concepts [See also 03C48]

Keywords
Marker–Steinhorn theorem defineable types o-minimality

Citation

Walsberg, Erik. The Marker–Steinhorn Theorem via Definable Linear Orders. Notre Dame J. Formal Logic 60 (2019), no. 4, 701--706. doi:10.1215/00294527-2019-0026. https://projecteuclid.org/euclid.ndjfl/1567735226


Export citation

References

  • [1] Chernikov, A., and P. Simon, “Externally definable sets and dependent pairs,” Israel Journal of Mathematics, vol. 194 (2013), pp. 409–25.
  • [2] Chernikov, A., and P. Simon, “Externally definable sets and dependent pairs, II,” Transactions of the American Mathematical Society, vol. 367 (2015), pp. 5217–35.
  • [3] Marker, D., and C. Steinhorn, “Definable types in o-minimal theories,” Journal of Symbolic Logic, vol. 59 (1994), pp. 185–98.
  • [4] Onshuus, A., and C. Steinhorn, “On linearly ordered structures of finite rank,” Journal of Mathematical Logic, vol. 9 (2009), pp. 201–39.
  • [5] Ramakrishnan, J., “Definable linear orders definably embed into lexicographic orders in o-minimal structures,” Proceedings of the American Mathematical Society, vol. 141 (2013), pp. 1809–19.
  • [6] Shelah, S., “Dependent first order theories, continued,” Israel Journal of Mathematics, vol. 173 (2009), pp. 1–60.
  • [7] Tressl, M., “Valuation theoretic content of the Marker–Steinhorn theorem,” Journal of Symbolic Logic, vol. 69 (2004), pp. 91–93.
  • [8] van den Dries, L., Tame Topology and O-Minimal Structures, vol. 248of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 1998.
  • [9] van den Dries, L., “Limit sets in o-minimal structures,” pp. 172-215 in Proceedings of a RAAG Summer School, O-Minimal Structures (Lisbon 2003), edited by M. Edmundo, D. Richardson, and A. J. Wilkie, Lecture Notes in Real Algebraic and Analytic Geometry, Cuvillier, Göttingen, 2005.