Philipp Hieronymi

activity

20092026

most citedDecidability for Sturmian words

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

collaborators

Showing 2019Show all

2 papers · 1 filter

cs.LO2019★ 2 cited

Continuous Regular Functions

Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan +5

Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f : [0, 1] \to [0, 1]$ is $r$ -regular if there is a Büchi automaton that accepts precisely the set of base $r…

math.LO2019

Fractals and the monadic second order theory of one successor

Philipp Hieronymi, Erik Walsberg

We show that if $X$ is virtually any classical fractal subset of $R^{n}$ , then $(R, <, +, X)$ interprets the monadic second-order theory of $(N, + 1)$ . This res…