Real algebraic geometry, 1998. ,
DOI : 10.1007/978-3-662-03718-8
An introduction to convex polytopes, volume 90 of Graduate Texts in Mathematics, 1983. ,
Abstract, The Journal of Symbolic Logic, vol.356, issue.02, pp.621-630, 2012. ,
DOI : 10.2307/2373066
Abstract, The Journal of Symbolic Logic, vol.62, issue.01, pp.153-162, 2003. ,
DOI : 10.2307/1971463
p-adic semi-algebraic sets and cell decomposition, J. Reine Angew. Math, vol.369, pp.154-166, 1986. ,
A version of o-minimality for the p-adics, The Journal of Symbolic Logic, vol.70, issue.04, pp.1075-1092, 1997. ,
DOI : 10.2307/1971463
Formally p-adic fields, volume 1050 of Lecture Notes in Math, 1984. ,