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
Nippy proofs of p-adic results of Delon and Yao
Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang
Externally definable quotients and NIP expansions of the real ordered additive group

References

SHOWING 1-10 OF 24 REFERENCES
Effective model-completeness for p-adic analytic structures
THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER
Groups Covered By Permutable Subsets
The model theory of the field of reals with a subgroup of the unit circle
A Version of o-Minimality for the p-adics
Fields with analytic structure
Presburger sets and p-minimal fields
  • R. Cluckers
  • Mathematics, Computer Science
  • Journal of Symbolic Logic
  • 2003
THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP
A Guide to NIP Theories
Solution of a Problem of Tarski
  • J. Myhill
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1956
...
1
2
3
...