BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Philipp Hieronymi

Philipp Hieronymi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOLogic in Computer Science

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 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&#39;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
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