1. F. Delon, Quelques propriétés des corps valués en théorie des modèles, thèse d’état, Paris VII, 1982.
2. Tarski’s problem and Pfaffian functions;van den Dries, Lou,1986
3. On definable subsets of 𝑝-adic fields;Macintyre, Angus;J. Symbolic Logic,1976
4. \bysame, Twenty years of 𝑝-adic model theory, in Logic Colloquium ’84, cité supra.
5. D. Marker et C. Steinhorn, Definable types in 0-minimal theories, preprint.