@article{1183743726, author = {Belair, Luc and Duret, Jean-Louis}, title = {Definissabilite dans les Corps de Fonctions $p$-Adiques}, journal = {J. Symbolic Logic}, volume = {56}, number = {1}, year = {1991}, pages = { 783-785}, language = {fr}, url = {http://dml.mathdoc.fr/item/1183743726} }
Belair, Luc; Duret, Jean-Louis. Definissabilite dans les Corps de Fonctions $p$-Adiques. J. Symbolic Logic, Tome 56 (1991) no. 1, pp. 783-785. http://gdmltest.u-ga.fr/item/1183743726/