1. Substructures and uniform elimination for p-adic fields;Bélair;Annals of Pure and Applied Logic,1988
2. Model-theoretic Algebra-selected Topics;Cherlin,1976
3. F. Delon, Quelques propriétés de corps valués en théorie des modèles, Thèse de Doctorat, Université de Paris 7, 1982
4. A positivstellensatz for chain-closed fields R((t)) and some related fields;Farré;Archiv der Mathematik,1991
5. R. Farré, Model theory for valued and ordered fields and applications, Ph.D. Thesis, Universitat de Catalunya, 1993