Philipp Hieronymi

activity

20092026

most citedDecidability for Sturmian words

11 citations · 49 across the 21 of their papers we have counts for

collaborators

Showing 2015 · math.LOShow all

5 papers · 2 filters

math.LO2015

Distal and Non-Distal Pairs

Philipp Hieronymi, Travis Nell

The aim of this note is to determine whether certain non-o-minimal expansions of o-minimal theories which are known to be NIP, are also distal. We observe that while tame pairs of…

math.LO2015

Structure theorems in tame expansions of o-minimal structures by a dense set

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

We study sets and groups definable in tame expansions of o-minimal structures. Let $M = ⟨ M, P ⟩$ be an expansion of an o-minimal $\mathcal…

math.LO2015

Metric dimensions and tameness in expansions of the real field

Philipp Hieronymi, Chris Miller

For first-order expansions of the field of real numbers, nondefinability of the set of natural numbers is equivalent to equality of topological and Assouad dimension on images of c…

math.LO2015

A tame Cantor set

Philipp Hieronymi

A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K \subseteq R$ is constructed such that every set defina…

math.LO2015

When is scalar multiplication decidable?

Philipp Hieronymi

Let $K$ be a subfield of $R$ . The theory of $R$ viewed as an ordered $K$ -vector space and expanded by a predicate for $Z$ is decidable if and only if $K$ …