V. Astier, Elementary equivalence of lattices of open sets definable in o-minimal expansions of real closed fields, Fund. Math, vol.220, issue.1, pp.7-21, 2013.

J. Ax, On the undecidability of power series fields, Proc. Amer. Math. Soc, vol.16, p.846, 1965.

L. Bélair, Anneaux p-adiquement clos et anneaux de fonctions définissables, J. Symbolic Logic, vol.56, issue.2, pp.539-553, 1991.

L. Bélair, Anneaux de fonctions p-adiques, J. Symbolic Logic, vol.60, issue.2, pp.484-497, 1995.

G. Cherlin, Rings of continuous functions: decision problems, Model theory of algebra and arithmetic (Proc. Conf, vol.834, pp.44-91, 1979.

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

L. Darnì, Model-completion of scaled lattices, 2001.

A. Fehm and F. Jahnke, Recent progress on definability of Henselian valuations, Ordered algebraic structures and related topics, pp.135-143, 2017.

A. Grzegorczyk, Undecidability of some topological theories, Fund. Math, vol.38, issue.1, pp.137-152, 1951.

N. Guzy and M. Tressl, pd-adically closed rings. extended abstract, Séminaire de Structures Algébriques Ordonnées, 2001.

D. Haskell and D. Macpherson, Cell decompositions of C-minimal structures, Ann. Pure Appl. Logic, vol.66, issue.2, pp.113-162, 1994.

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. Johnson, On dp-minimal fields, 2015.

F. Jahnke, P. Simon, and E. Walsberg, Dp-minimal valued fields, J. Symb. Log, vol.82, issue.1, pp.151-165, 2017.

H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol.8, 1989.

M. Mourgues and J. P. Ressayre, Every real closed field has an integer part, J. Symbolic Logic, vol.58, issue.2, pp.641-647, 1993.

R. Miller and A. Shlapentokh, On existential definitions of C.E. subsets of rings of functions of characteristic 0, 2017.

A. Prestel and N. Schwartz, Model theory of real closed rings, Valuation theory and its applications, vol.I, pp.261-290, 1999.

D. Richard, Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers, J. Symbolic Logic, vol.54, issue.4, pp.1253-1287, 1989.

N. Schwartz, of Regensburger Mathematische Schriften, vol.15

P. Simon, On dp-minimal ordered structures, J. Symbolic Logic, vol.76, issue.2, pp.448-460, 2011.
DOI : 10.2178/jsl/1305810758
URL : http://arxiv.org/pdf/0909.4242

P. Simon and E. Walsberg, Tame topology over dp-minimal structures, Notre Dame J. of Formal Logic, 2002.
DOI : 10.1215/00294527-2018-0019
URL : https://hal.archives-ouvertes.fr/hal-01207708

M. Tressl, Super real closed rings, Fund. Math, vol.194, issue.2, pp.121-177, 2007.
DOI : 10.4064/fm194-2-2
URL : https://www.impan.pl/shop/publication/transaction/download/product/88248?download.pdf

M. Tressl, On the strength of some topological lattices, Ordered algebraic structures and related topics, vol.697, pp.325-347, 2017.

L. Van-den-dries, Dimension of definable sets, algebraic boundedness and Henselian fields, Ann. Pure Appl. Logic, vol.45, issue.2, p.1, 1987.

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

S. Warner, Topological rings, North-Holland Mathematics Studies, vol.178, issue.3, 1993.