Article contents
A FUNDAMENTAL DICHOTOMY FOR DEFINABLY COMPLETE EXPANSIONS OF ORDERED FIELDS
Published online by Cambridge University Press: 22 December 2015
Abstract
An expansion of a definably complete field either defines a discrete subring, or the image of every definable discrete set under every definable map is nowhere dense. As an application we show a definable version of Lebesgue’s differentiation theorem.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2015
References
REFERENCES
- 2
- Cited by