Definable linear orders definably embed into lexicographic orders in o-minimal structures

DOI10.1090/S0002-9939-2012-11424-8zbMath1270.03060arXiv1003.5400MaRDI QIDQ4910795

Janak Ramakrishnan

Publication date: 19 March 2013

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1003.5400

zbMATH Keywords

linear orders; o-minimality

Mathematics Subject Classification ID

06A05: Total orders

03C64: Model theory of ordered structures; o-minimality

Related Items

Definably extending partial orders in totally ordered structures, The Marker-Steinhorn theorem via definable linear orders, Directed sets and topological spaces definable in o‐minimal structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definable structures in o-minimal theories: one dimensional types
• Unstable structures definable in o-minimal theories
• Lexicographic behaviour of chains
• On the real exponential field with restricted analytic functions
• The elementary theory of restricted analytic fields with exponentiation
• Lexicographic orders and preference representation
• The non-existence of a utility function and the structure of non-representable preference relations
• Uniform definability of the Weierstrass \(\wp\) functions and generalized tori of dimension one
• Embedding linearly ordered sets in real lexicographic products
• ON LINEARLY ORDERED STRUCTURES OF FINITE RANK
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function