Corpus ID: 73662780

Model theory of the field of $p$-adic numbers expanded by a multiplicative subgroup

@article{Mariaule2018ModelTO,
  title={Model theory of the field of \$p\$-adic numbers expanded by a multiplicative subgroup},
  author={Nathanael Mariaule},
  journal={arXiv: Logic},
  year={2018}
}
Let $G$ be a multiplicative subgroup of $\mathbb{Q}_p$. In this paper, we describe the theory of the pair $(\mathbb{Q}_p, G)$ under the condition that $G$ satisfies Mann property and is small as subset of a first-order structure. First, we give an axiomatisation of the first-order theory of this structure. This includes an axiomatisation of the theory of the group $G$ as valued group (with the valuation induced on $G$ by the $p$-adic valuation). If the subgroups $G^{[n]}$ of $G$ have finite… Expand
Expansions of the p-adic numbers that interpret the ring of integers
TLDR
The theory of this structure expanded by two predicates interpreted by multiplicative subgroups interprets Peano arithmetic if $\alpha$ and $\beta$ have positive $p$-adic valuation and if either $alpha$ or $beta$ has zero valuation is shown. Expand
Nippy proofs of p-adic results of Delon and Yao
Let $K$ be an elementary extension of $\mathbb{Q}_p$, $V$ be the set of finite $a \in K$, $\mathrm{st}$ be the standard part map $K^m \to \mathbb{Q}^m_p$, and $X \subseteq K^m$ be $K$-definable.Expand
Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang
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" toExpand
Externally definable quotients and NIP expansions of the real ordered additive group
Let $\mathscr{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R}, 0$ and collection $\mathcal{B}$ of bounded subsets of $\mathbb{R}^n$ such that $(\mathbb{R},<,+,\mathcal{B})$ is o-minimal.

References

SHOWING 1-10 OF 24 REFERENCES
Effective model-completeness for p-adic analytic structures
In this paper, we combine classical techniques of model theory of p-adic subanalytic sets with results of tropical analytic geometry to obtain a result of effective model-completeness. We considerExpand
THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER
TLDR
It is proved the decidability of the theory of ℚ p in the language (+, −,⋅, 0, 1, P n (n ∈ ℕ)) expanded by a predicate for the multiplicative subgroup n ℤ (where n is a fixed integer). Expand
Groups Covered By Permutable Subsets
Let ^ be a family of subsets of a group G with the following three properties: (i) G is the union of the subsets in £C. (ii) Every two subsets in § commute. (iii) Every F e £C has cardinal (strictly)Expand
The model theory of the field of reals with a subgroup of the unit circle
We describe definable sets in the field of reals augmented by a predicate for a finite rank multiplicative group of complex numbers contained in the unit circle . This structure interprets theExpand
A Version of o-Minimality for the p-adics
TLDR
A notion similar to o -minimality but appropriate for the p -adics is formulated, in a sense a sequel to [11] and [5], and the C-relation of [1] was considered, in place of the total order in the definition of strong o - minimality. Expand
Fields with analytic structure
We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For realExpand
Presburger sets and p-minimal fields
  • R. Cluckers
  • Mathematics, Computer Science
  • Journal of Symbolic Logic
  • 2003
TLDR
Using the cell decomposition theorem, a full classification of Presburger sets up to definable bijection is obtained and a dimension theory for Z-groups with the PresburGER structure is introduced. Expand
THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
We consider the model theory of the real and complex fields with a multiplicative group having the Mann property. Among these groups are the finitely generated multiplicative groups in these fields.Expand
A Guide to NIP Theories
The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written onExpand
Solution of a Problem of Tarski
  • J. Myhill
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1956
TLDR
It is shown that if T 1 is a finitely axiomatizable subtheory of T, there exists a consistent and decidable extension of T 1 which has the same constants as T 1 . Expand
...
1
2
3
...