Philipp Hieronymi

activity

20092026

most citedDecidability for Sturmian words

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

collaborators

Showing 2021 · math.LOShow all

2 papers · 2 filters

math.LO2021

A strong version of Cobham's theorem

Philipp Hieronymi, Chris Schulz

Let $k, ℓ \geq 2$ be two multiplicatively independent integers. Cobham's famous theorem states that a set $X \subseteq N$ is both $k$ -recognizable and $ℓ$ -recognizable…

math.LO2021

Pathological examples of structures with o-minimal open core

Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi

This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure $R$ by a unary predicate such th…