12 citations · 63 across the 29 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
How to avoid a compact set
Antongiulio Fornasiero, Philipp Hieronymi, Erik Walsberg
A first-order expansion of the -vector space structure on does not define every compact subset of every if and only if topological and Hausd…
math.LO2016
Interpreting the monadic second order theory of one successor in expansions of the real line
Philipp Hieronymi, Erik Walsberg
We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does…