Philipp Hieronymi

activity

20092026

most citedDecidability for Sturmian words

11 citations · 49 across the 21 of their papers we have counts for

collaborators

Showing 2026Show 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…