# 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

#### 5 Citations

CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS IN p-OPTIMAL FIELDS

- Computer Science, Mathematics
- The Journal of Symbolic Logic
- 2017

#### References

SHOWING 1-9 OF 9 REFERENCES

On the Elementary Theory of Restricted Elementary Functions

- Mathematics, Computer Science
- J. Symb. Log.
- 1988