A fundamental dichotomy for definably complete expansions of ordered fields
classification
🧮 math.LO
keywords
definablecompletedefinablydiscreteapplicationdefinesdensedichotomy
read the original abstract
An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation theorem.
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.