11 citations · 49 across the 21 of their papers we have counts for
Showing 2011 · math.LOShow all
2 papers · 2 filters
math.LO2011
A dichotomy for expansions of the real field
Antongiulio Fornasiero, Philipp Hieronymi, Chris Miller
A dichotomy for expansions of the real field is established: Either the set of integers is definable or every nonempty bounded nowhere dense definable subset of the real numbers ha…
math.LO2011★ 2 cited
An analogue of the Baire Category Theorem
Philipp Hieronymi
Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.