P. C. Saskia-chambille, E. Kovacsics, and . Leenknegt, Clustered cell decomposition in P-minimal structures, Ann. Pure Appl. Logic, vol.168, issue.11, pp.2050-2086, 2017.

R. Cluckers, G. Comte, and F. Loeser, Local metric properties and regular stratifications of p-adic definable sets, Comment. Math. Helv, vol.87, issue.4, pp.963-1009, 2012.

P. Cubides-kovacsics, E. Luckdarnì-ere, and . Leenknegt, Topological cell decomposition and dimension theory in p-minimal fields, J. Symb. Log, vol.82, issue.1, pp.347-358, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01188341

P. Cubides, -. , and E. Leenknegt, Integration and cell decomposition in P-minimal structures, J. Symb. Log, vol.81, issue.3, pp.1124-1141, 2016.

R. Cluckers and E. Leenknegt, A version of p-adic minimality, J. Symbolic Logic, vol.77, issue.2, pp.621-630, 2012.

R. Cluckers, Classification of semi-algebraic p-adic sets up to semialgebraic bijection, J. Reine Angew. Math, vol.540, pp.105-114, 2001.

R. Cluckers, Analytic p-adic cell decomposition and integrals, Trans. Amer. Math. Soc, vol.356, issue.4, pp.1489-1499, 2004.

. Luckdarnì, Model completion of scaled lattices and co-heyting algebras of p-adic semi-algebraic sets, Math. Logic Quart

. Luckdarnì, Model-completion of scaled lattices. arXiv math 0606792, 2006.

. Luckdarnì, Polytopes and simplexes in p-adic fields, Ann. Pure Appl. Logic, vol.168, issue.6, pp.1284-1307, 2017.

J. Denef, The rationality of the Poincaré series associated to the p-adic points on a variety, Invent. Math, vol.77, issue.1, pp.1-23, 1984.

L. Ere and I. Halpuczok, Cell decomposition and classification of definable sets in p-optimal fields, J. Symb. Log, vol.82, issue.1, pp.120-136, 2017.

L. Ere and M. Junker, Model completion of varieties of co-Heyting algebras, Houston J. Math, vol.44, issue.1, pp.49-82, 2018.

, Jan Denef and Lou van den Dries. p-adic and real subanalytic sets, Ann. of Math, vol.128, issue.2, pp.79-138, 1988.

A. Grzegorczyk, Undecidability of some topological theories, Fund. Math, vol.38, pp.137-152, 1951.
DOI : 10.4064/fm-38-1-137-152
URL : https://www.impan.pl/shop/publication/transaction/download/product/93826?download.pdf

I. Halupczok, Non-Archimedean Whitney stratifications, Proc. Lond. Math. Soc, vol.109, issue.3, pp.1304-1362, 2014.
DOI : 10.1112/plms/pdu006
URL : http://arxiv.org/pdf/1109.5886

D. Haskell and D. Macpherson, A version of o-minimality for the p-adics, J. Symbolic Logic, vol.62, issue.4, pp.1075-1092, 1997.

W. Hodges, A shorter model theory, 1997.

A. Macintyre, On definable subsets of p-adic fields, J. Symbolic Logic, vol.41, issue.3, pp.605-610, 1976.

M. Mariehéì-ene, Cell decomposition for P-minimal fields, MLQ Math. Log. Q, vol.55, issue.5, pp.487-492, 2009.

A. Prestel and P. Roquette, Formally p-adic fields, Lecture Notes in Math, vol.1050, 1984.
DOI : 10.1007/bfb0071467

P. Scowcroft and L. Van-den-dries, On the structure of semialgebraic sets over p-adic fields, J. Symbolic Logic, vol.53, issue.4, pp.1138-1164, 1988.
DOI : 10.2307/2274609

L. Van-den-dries, Algebraic theories with definable Skolem functions, J. Symbolic Logic, vol.49, issue.2, pp.625-629, 1984.

L. Van-den-dries, Dimension of definable sets, algebraic boundedness and Henselian fields, Stability in model theory, vol.45, pp.189-209, 1987.

L. Van-den-dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol.248, 1998.