BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Philipp Hieronymi

Philipp Hieronymi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOLogic in Computer Science

Catalog footprint

What is connected

16works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Decidability bounds for Presburger arithmetic extended by sine

We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic ($\sin$-PA), and systematically study decision problems for sets of sentences in $\sin$-PA. In particular, we detail a decision algorithm for existential $\sin$-PA sentences under assumption of Schanuel's conjecture. This procedure reduces decisions to the theory of the ordered additive group of real numbers extended by sine, which is decidable under Schanuel's conjecture. On the other hand, we prove that four alternating quantifier blocks suffice for undecidability of $\sin$-PA sentences. To do so, we explicitly interpret the weak monadic second-order theory of the grid, which is undecidable, in $\sin$-PA.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A tetrachotomy for expansions of the real ordered additive group

Let $\mathcal{R}$ be an expansion of the ordered real additive group. When $\mathcal{R}$ is o-minimal, it is known that either $\mathcal{R}$ defines an ordered field isomorphic to $(\mathbb{R},<,+,\cdot)$ on some open subinterval $I\subseteq \mathbb{R}$, or $\mathcal{R}$ is a reduct of an ordered vector space. We say $\mathcal{R}$ is field-type if it satisfies the former condition. In this paper, we prove a more general result for arbitrary expansions of $(\mathbb{R},<,+)$. In particular, we show that for expansions that do not define dense $ω$-orders (we call these type A expansions), an appropriate version of Zilber's principle holds. Among other things we conclude that in a type A expansion that is not field-type, every continuous definable function $[0,1]^m \to \mathbb{R}^n$ is locally affine outside a nowhere dense set.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Pathological examples of structures with o-minimal open core

This paper answers several open questions around structures with o-minimal open core. We construct an expansion of an o-minimal structure $\mathcal{R}$ by a unary predicate such that its open core is a proper o-minimal expansion of $\mathcal{R}$. We give an example of a structure that has an o-minimal open core and the exchange property, yet defines a function whose graph is dense. Finally, we produce an example of a structure that has an o-minimal open core and definable Skolem functions, but is not o-minimal.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Pairs of Theories Satisfying a Mordell-Lang Condition

This paper proposes a new setup for studying pairs of structures. This new framework includes many of the previously studied classes of pairs, such as dense pairs of o-minimal structures, lovely pairs, fields with Mann groups, and $H$-structures, but also includes new ones, such as pairs consisting of a real closed field and a pseudo real closed subfield, and pairs of vector spaces with different fields of scalars. We use the larger generality of this framework to answer three concrete open questions raised in earlier work on this subject.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A tame Cantor set

A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K\subseteq \mathbb{R}$ is constructed such that every set definable in $(\mathbb{R},<,+,\cdot,K)$ is Borel. In addition, we prove quantifier-elimination and completeness results for $(\mathbb{R},<,+,\cdot,K)$, making the set $K$ the first example of a modeltheoretically tame Cantor set. This answers questions raised by Friedman, Kurdyka, Miller and Speissegger. The work in this paper depends crucially on results about automata on infinite words, in particular Büchi's celebrated theorem on the monadic second-order theory of one successor and McNaughton's theorem on Muller automata, which had never been used in the setting of expansions of the real field.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Interpreting the monadic second order theory of one successor in expansions of the real line

We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties defined by Shelah, such as $\textrm{NIP}$ or even $\textrm{NTP}_2$. We use this to deduce the first general results about definable sets in $\textrm{NTP}_2$ expansions of $(\mathbb{R},<,+)$.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Interpreting the projective hierarchy in expansions of the real line

We give a criterion when an expansion of the ordered set of real numbers defines the image of the expansion of the real field by the set of natural numbers under a semialgebraic injection. In particular, we show that for a non-quadratic irrational number a, the expansion of the ordered Q(a)-vector space of real numbers by the set of natural numbers defines multiplication on the real numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Expansions of subfields of the real field by a discrete set

Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K expanded by predicates for different cyclic multiplicative subgroups defines the set of integers. Moreover, we prove that every definably complete expansion of a subfield of the real field satisfies an analogue of the Baire Category Theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Expansions which introduce no new open sets

We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of Dolich, Miller and Steinhorn on the property of having o-minimal open core. We answer the question in a fairly general setting and provide conditions which in practice are often easy to check. We give a further characterisation in the special case of an expansion by a generic predicate.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

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

This paper provides a first example of a model theoretically well behaved structure consisting of a proper o-minimal expansion of the real field and a dense multiplicative subgroup of finite rank. Under certain Schanuel conditions, a quantifier elimination result will be shown for the real field with an irrational power function and a dense multiplicative subgroup of finite rank whose elements are algebraic over the field generated by the irrational power. Moreover, every open set definable in this structure is already definable in the reduct given by just the real field and the irrational power function.

0 citations0 reviewsNo code linkedOpen access