Corpus ID: 119164454

Effective model-completeness for p-adic analytic structures

@article{Mariaule2014EffectiveMF,
  title={Effective model-completeness for p-adic analytic structures},
  author={Nathanael Mariaule},
  journal={arXiv: Logic},
  year={2014}
}
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 consider languages L_F=( +,.,0,1, P_n, f; for all n natural number and f in F) where F is a family of restricted analytic functions. Definable sets in this language are a collection of p-adic subanalytic sets. The main result of the paper gives conditions on F so that the structure with underlying set Zp (the… Expand

Figures from this paper

Model theory of the field of $p$-adic numbers expanded by a multiplicative subgroup
CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS IN p-OPTIMAL FIELDS
p-adic exponential ring, p-adic Schanuel's conjecture and decidability

References

SHOWING 1-9 OF 9 REFERENCES
Fields with analytic structure
On the Elementary Theory of Restricted Elementary Functions
  • L. Dries
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1988
A Course in p-adic Analysis
Tropical analytic geometry, Newton polygons, and tropical intersections
The rationality of the Poincaré series associated to thep-adic points on a variety
P-adic and real subanalytic sets
Rigid Subanalytic Sets