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

DOI10.1090/S0002-9939-2012-11424-8MaRDI QIDQ4910795zbMATH OpenOpenAlexFDO

Authors 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 orderso-minimality

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Total orders (06A05)

Abstract: We completely characterize definable linear orders in o-minimal structures expanding groups. For example, let (P,<_p) be a linear order definable in the real field R. Then (P,<_p) embeds definably in (R^{n+1},<_l), where <_l is the lexicographic order and n is the o-minimal dimension of P. This improves a result of Onshuus and Steinhorn in the o-minimal group context.

Recommendations

• On linearly ordered structures of finite rank
• Embedded o-minimal structures
• Definably extending partial orders in totally ordered structures
• Definable Sets in Ordered Structures. II
• Extending Partial Orders on o‐Minimal Structures to Definable Total Orders

Cites work

• Definable structures in o-minimal theories: one dimensional types
• Embedding linearly ordered sets in real lexicographic products
• scientific article; zbMATH DE number 3179461 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Lexicographic behaviour of chains
• Lexicographic orders and preference representation
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On linearly ordered structures of finite rank
• On the real exponential field with restricted analytic functions
• The elementary theory of restricted analytic fields with exponentiation
• 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
• Unstable structures definable in o-minimal theories

Cited in

(4)

• The Marker-Steinhorn theorem via definable linear orders
• Directed sets and topological spaces definable in o-minimal structures
• On linearly ordered structures of finite rank
• Definably extending partial orders in totally ordered structures

This page was built for publication: Definable linear orders definably embed into lexicographic orders in o-minimal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910795)