no code implementations • 16 Feb 2021 • Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey Shallit
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable.
Logic in Computer Science Combinatorics Logic
no code implementations • 7 Jan 2021 • Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi
This paper answers several open questions around structures with o-minimal open core.
Logic 03C64