Philipp Hieronymi

According to our database, Philipp Hieronymi authored at least 18 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Fractals and the monadic second order theory of one successor.

Philipp Hieronymi

J. Log. Anal., 2023

2022

Decidability bounds for Presburger arithmetic extended by sine.

Eion Blanchard, Philipp Hieronymi

CoRR, 2022

A strong version of Cobham's theorem.

Philipp Hieronymi, Christian Schulz

Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Decidability for Sturmian Words.

Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Pathological examples of structures with o-minimal open core.

Alexi Block Gorman, Erin Caulfield, Philipp Hieronymi

Math. Log. Q., 2021

Presburger Arithmetic with algebraic scalar multiplications.

Philipp Hieronymi, Danny Nguyen, Igor Pak

Log. Methods Comput. Sci., 2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.

Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi

CoRR, 2021

2020

The choice property in tame expansions of o-minimal structures.

Pantelis E. Eleftheriou, Ayhan Günaydin, Philipp Hieronymi

Math. Log. Q., 2020

Continuous Regular Functions.

Alexi Block Gorman, Philipp Hieronymi, Elliot Kaplan, Ruoyu Meng, Erik Walsberg, Zihe Wang, Ziqin Xiong, Hongru Yang

Log. Methods Comput. Sci., 2020

2019

When is scalar multiplication decidable?

Philipp Hieronymi

Ann. Pure Appl. Log., 2019

2018

Ostrowski Numeration Systems, Addition, and Finite Automata.

Philipp Hieronymi, Alonza Terry Jr.

Notre Dame J. Formal Log., 2018

Wild theories with o-minimal open core.

Philipp Hieronymi, Travis Nell, Erik Walsberg

Ann. Pure Appl. Log., 2018

2017

Distal and non-distal Pairs.

Philipp Hieronymi, Travis Nell

J. Symb. Log., 2017

2016

Expansions of the Ordered additive Group of Real numbers by two discrete Subgroups.

Philipp Hieronymi

J. Symb. Log., 2016

2015

A Fundamental Dichotomy for definably Complete expansions of Ordered Fields.

Antongiulio Fornasiero, Philipp Hieronymi

J. Symb. Log., 2015

2013

An analogue of the Baire category theorem.

Philipp Hieronymi

J. Symb. Log., 2013

2011

Dependent pairs.

Ayhan Günaydin, Philipp Hieronymi

J. Symb. Log., 2011

The real field with an irrational power function and a dense multiplicative subgroup.

Philipp Hieronymi

J. Lond. Math. Soc., 2011