1. F. Delon, Définissabilité avec paramètres extérieurs dans QP et R, to appear in the A.M.S. Proceedings
2. F. Delon, Elimination des quantificateurs dans les corps valués, in preparation
3. F. Delon et Y. Rouani, Indécidabilité de corps de séries formelles, to appear in the J.S.L.
4. F.-V. Kuhlmann, Henselian Functions Fields, Dissertation, Heidelberg, in preparation
5. A. Macintyre, Twenty years of p-adic fields, in Logic Colloquium '84, Paris, Wilkie and Wilmers (eds.), North-Holland, Amsterdam 1986