Philipp Hieronymi

most citedDefinability and decidability in expansions by generalized Cantor sets

5 citations · 5 across the 1 of their papers we have counts for

collaborators

3 papers

math.LO2017

The Choice Property in tame expansions of o-minimal structures

Pantelis E. Eleftheriou, Ayhan Günaydın, Philipp Hieronymi

We establish the choice property, a weak analogue of definable choice, for certain tame expansions of o-minimal structures. Most noteworthily, dense pairs of real closed fields hav…

math.LO2017

Wild theories with o-minimal open core

Philipp Hieronymi, Travis Nell, Erik Walsberg

Let $T$ be a consistent o-minimal theory extending the theory of densely ordered groups and let $T^{'}$ be a consistent theory. Then there is a complete theory $T^{*}$ extending $T$ suc…

math.LO2017★ 5 cited

Definability and decidability in expansions by generalized Cantor sets

William Balderrama, Philipp Hieronymi

We determine the sets definable in expansions of the ordered real additive group by generalized Cantor sets. Given a natural number $r \geq 3$ , we say a set $C$ is a generalized Can…