Abstract A first-order expansion of $(\mathbb {R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, p -adic fields, ordered abelian groups with only finitely many convex subgroups (in particular archimedean ordered abelian groups), and abelian groups equipped with archimedean cyclic group orders. The latter allows us to describe unary definable sets in dp-minimal expansions of $(\mathbb {Z},+,S)$ , where S is a cyclic group order. Along the way we describe unary definable sets in dp-minimal expansions of ordered abelian groups. In the last section we give a canonical correspondence between dp-minimal expansions of $(\mathbb {Q},+,<)$ and o-minimal expansions ${\mathscr R}$ of $(\mathbb {R},+,<)$ such that $({\mathscr R},\mathbb {Q})$ is a “dense pair.”.

Following Chaudhuri, Sankaranarayanan, and Vardi, we say that a function $f:[0,1] \to [0,1]$ is $r$-regular if there is a B\"{u}chi automaton that accepts precisely the set of base $r \in \mathbb{N}$ representations of elements of the graph of $f$. We show that a continuous $r$-regular function $f$ is locally affine away from a nowhere dense, Lebesgue null, subset of $[0,1]$. As a corollary we establish that every differentiable $r$-regular function is affine. It follows that checking whether an $r$-regular function is differentiable is in $\operatorname{PSPACE}$. Our proofs rely crucially on connections between automata theory and metric geometry developed by Charlier, Leroy, and Rigo.

Abstract We show that dp-minimal valued fields are henselian and give classifications of dp-minimal ordered abelian groups and dp-minimal ordered fields without additional structure.