Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1909.05399 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914319680143360 |
|---|---|
| author | Simon, Pierre Walsberg, Erik |
| author_facet | Simon, Pierre Walsberg, Erik |
| contents | 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 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 $(\mathbb{Z},+,C)$, where $C$ 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 $\mathcal{R}$ of $(\mathbb{R},+,<)$ such that $(\mathcal{R},\mathbb{Q})$ is a "dense pair". |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1909_05399 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Dp and other minimalities Simon, Pierre Walsberg, Erik Logic 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 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 $(\mathbb{Z},+,C)$, where $C$ 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 $\mathcal{R}$ of $(\mathbb{R},+,<)$ such that $(\mathcal{R},\mathbb{Q})$ is a "dense pair". |
| title | Dp and other minimalities |
| topic | Logic |
| url | https://arxiv.org/abs/1909.05399 |