Philipp Hieronymi

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Uniform Bounds in D-Minimal Structures

Madie Farris, Philipp Hieronymi

Let $R$ be an expansion of the real field such that every subset of $R$ definable in $R$ either has interior or is a finite union of discrete sets. Ans…

math.LO2026

Axiomatizations of Presburger Arithmetic With Predicates For Powers

Philipp Hieronymi, Michael Reitmeir, Xiaoduo Wang

We give a complete first-order axiomatization of the structure $(Z, +, (ℓ^{N})_{ℓ \in L})$ , where $L \subseteq Z_{\geq 2}$ is a set of pairwise multipl…