相关论文: A new dp-minimal expansion of the integers

We show that if $ \mathcal{Z} $ is a dp-minimal expansion of $ \left(\mathbb{Z},+,0,1\right) $ that defines an infinite subset of $ \mathbb{N} $, then $ \mathcal{Z} $ is interdefinable with $ \left(\mathbb{Z},+,0,1, < \right) $. As a…

We show that if a first-order structure $\mathcal{M}$, with universe $\mathbb{Z}$, is an expansion of $(\mathbb{Z},+,0)$ and a reduct of $(\mathbb{Z},+,<,0)$, then $\mathcal{M}$ must be interdefinable with $(\mathbb{Z},+,0)$ or…

We study dp-minimal infinite profinite groups that are equipped with a uniformly definable fundamental system of open subgroups. We show that these groups have an open subgroup $A$ such that either $A$ is a direct product of countably many…

We first prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ which is not interdefinable with $\left(\mathbb{Z},+,0,1,<\right)$, then every infinite subset of $\mathbb{Z}$ definable in $\mathcal{Z}$ is…

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…

This is a contribution to the classification problem for dp-minimal expansions of $(\mathbb{Z},+)$. Let $S$ be a dense cyclic group order on $(\mathbb{Z},+)$. We use results on "dense pairs" to construct uncountably many dp-minimal…

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…

If $\mathcal{Z}$ is a dp-minimal expansion of a discrete ordered abelian group $(Z,<,+)$ and $\mathcal{Z}$ does not admit a nontrivial definable convex subgroup then $\mathcal{Z}$ is interdefinable with $(Z,<,+)$ and $(Z,<,+)$ is…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…

We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable…

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let $\mathcal R$ be either the ordered…

We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by…

Let $R$ be an o-minimal expansion of a group in a language in which $\textrm{Th}(R)$ eliminates quantifiers, and let $C$ be a predicate for a valuational cut in $R$. We identify a condition that implies quantifier elimination for…

This paper investigates expansions of distal structures by a unary subset that arises as the image of a projection map. We first provide a sufficient condition for such an expansion to remain distal. Based on this criterion, we establish…

We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…

We show some basic facts about dp-minimal ordered structures. The main results are : dp-minimal groups are abelian-by-finite-exponent, in a divisible ordered dp-minimal group, any infinite set has non-empty interior, and any theory of pure…

For a prime $p$ and a matrix $A \in \mathbb{Z}^{n \times n}$, write $A$ as $A = p (A \,\mathrm{quo}\, p) + (A \,\mathrm{rem}\, p)$ where the remainder and quotient operations are applied element-wise. Write the $p$-adic expansion of $A$ as…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

Generalizing John Conway's construction of the Field On_2, we give the "minimal" definitions of addition and multiplication that turn the ordinals into a Field of characteristic p, for any prime p. We then analyze the structure of the…