3 papers
math.LO2026
Uniform Bounds in D-Minimal Structures
Madie Farris, Philipp Hieronymi
Let be an expansion of the real field such that every subset of definable in 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 , where is a set of pairwise multipl…
cs.LO2024
Decidability for Sturmian words
Philipp Hieronymi, Dun Ma, Reed Oei +3
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwa…