Definable linear orders definably embed into lexicographic orders in o-minimal structures
classification
🧮 math.LO
keywords
o-minimaldefinablelinearordersdefinablylexicographicorderstructures
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.