Dp and other minimalities
Abstract
A first order expansion of is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, -adic fields, ordered abelian groups with only finitely many convex subgroups (in articular 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 , where 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 and o-minimal expansions of such that is a "dense pair".
Cite
@article{arxiv.1909.05399,
title = {Dp and other minimalities},
author = {Pierre Simon and Erik Walsberg},
journal= {arXiv preprint arXiv:1909.05399},
year = {2026}
}
Comments
The results on the p-adics are generalized to cover finite extensions of the p-adics and we added a p-adic analogue of the result on divisible archimedean ordered abelian groups