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.
Original language | English (US) |
---|---|
Pages (from-to) | 1091-1115 |
Number of pages | 25 |
Journal | Journal of Symbolic Logic |
Volume | 80 |
Issue number | 4 |
DOIs | |
State | Published - Dec 22 2015 |
Keywords
- Definably complete
- Lebesgue’s differentiation theorem
- Second-order arithmetic
ASJC Scopus subject areas
- Philosophy
- Logic