Philipp Hieronymi

Available identifiers

zbMath Open hieronymi.philippMaRDI QIDQ1650002

List of research outcomes

Publication	Date of Publication	Type
Decidability for Sturmian words	2024-09-04	Paper
Decidability bounds for Presburger arithmetic extended by sine	2024-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q6124959	2024-04-10	Paper
A strong version of Cobham’s theorem	2023-12-08	Paper
Fractals and the monadic second order theory of one successor	2023-11-27	Paper
Pathological examples of structures with o‐minimal open core	2023-09-12	Paper
Decidability bounds for Presburger arithmetic extended by sine	2022-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5155665	2021-10-08	Paper
A tetrachotomy for expansions of the real ordered additive group	2021-06-30	Paper
Expansions of the real field by discrete subgroups of 𝐺𝑙_{𝑛}(ℂ)	2021-03-30	Paper
Pairs of theories satisfying a Mordell–Lang condition	2021-01-25	Paper
Structure theorems in tame expansions of o-minimal structures by a dense set	2020-10-15	Paper
The choice property in tame expansions of o‐minimal structures	2020-09-09	Paper
Metric dimensions and tameness in expansions of the real field	2020-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q5216311	2020-02-17	Paper
When is scalar multiplication decidable?	2019-07-10	Paper
Continuous Regular Functions	2019-01-10	Paper
Geometry Labs United: An Invitation	2018-12-06	Paper
A tame Cantor set	2018-09-21	Paper
Interpreting the monadic second order theory of one successor in expansions of the real line	2018-06-29	Paper
Ostrowski numeration systems, addition, and finite automata	2018-05-18	Paper
Presburger Arithmetic with algebraic scalar multiplications	2018-05-09	Paper
Wild theories with o-minimal open core	2017-12-06	Paper
A tetrachotomy for expansions of the real ordered additive group	2017-09-10	Paper
The Choice Property in tame expansions of o-minimal structures	2017-08-13	Paper
How to avoid a compact set	2017-08-10	Paper
DISTAL AND NON-DISTAL PAIRS	2017-06-01	Paper
EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS	2017-04-28	Paper
Definability and decidability in expansions by generalized Cantor sets	2017-01-29	Paper
A fundamental dichotomy for definably complete expansions of ordered fields	2016-03-22	Paper
Interpreting the projective hierarchy in expansions of the real line	2014-09-16	Paper
An analogue of the Baire category theorem	2013-04-23	Paper
A dichotomy for expansions of the real field	2013-03-05	Paper
Expansions which introduce no new open sets	2012-04-19	Paper
Expansions of subfields of the real field by a discrete set	2011-11-18	Paper
Dependent pairs	2011-06-28	Paper
The real field with an irrational power function and a dense multiplicative subgroup	2011-02-09	Paper
The real field with the rational points of an elliptic curve	2011-01-11	Paper
Defining the set of integers in expansions of the real field by a closed discrete set	2010-06-08	Paper

Research outcomes over time

This page was built for person: Philipp Hieronymi