12 citations · 63 across the 29 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
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.MG2016
Isometric embeddings of snowflakes into finite-dimensional Banach spaces
Enrico Le Donne, Tapio Rajala, Erik Walsberg
We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function. We prove that a snowflake of a metric space isometricall…
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…