Philipp Hieronymi

activity

20092026

most citedDecidability for Sturmian words

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

collaborators

Showing 2018Show all

3 papers · 1 filter

math.LO2018

Expansions of the real field by discrete subgroups of Gl $_{n} (C)$

Philipp Hieronymi, Erik Walsberg, Samantha Xu

Let $Γ$ be an infinite discrete subgroup of Gl $_{n} (C)$ . Then either $(R, <, +, \cdot, Γ)$ is interdefinable with $(R, <, +, \cdot, λ^{Z})$ for some…

math.LO2018

Pairs of Theories Satisfying a Mordell-Lang Condition

Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan

This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal stru…

math.LO2018★ 2 cited

Presburger Arithmetic with algebraic scalar multiplications

Philipp Hieronymi, Danny Nguyen, Igor Pak

We consider Presburger arithmetic (PA) extended by scalar multiplication by an algebraic irrational number $α$ , and call this extension $α$ -Presburger arithmetic ( $α$ -PA). We show…

Expansions of the real field by discrete subgroups of Gln​(C)

Pairs of Theories Satisfying a Mordell-Lang Condition

Presburger Arithmetic with algebraic scalar multiplications

Expansions of the real field by discrete subgroups of Gl $_{n} (C)$