Philipp Hieronymi

activity

20092026

most citedDecidability for Sturmian words

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

collaborators

Showing 2014 · math.LOShow all

2 papers · 2 filters

math.LO2014

Expansions of the ordered additive group of real numbers by two discrete subgroups

Philipp Hieronymi

The theory of $(R, <, +, Z, Z a)$ is decidable if $a$ is quadratic. If $a$ is the golden ratio, $(R, <, +, Z, Z a)$ defines multiplica…

math.LO2014★ 7 cited

Ostrowski numeration systems, addition and finite automata

Philipp Hieronymi, Alonza Terry

We present an elementary three pass algorithm for computing addition in Ostrowski numeration systems. When $a$ is quadratic, addition in the Ostrowski numeration system based on $a…