Le théorème de MacIntyre sur les ensembles définissables dans les corps p-adiques
Groupe de travail d'analyse ultramétrique, Tome 13 (1985-1986), article no. 2, 16 p.

Voir la notice de l'acte provenant de la source Numdam

@article{GAU_1985-1986__13__15_0,
     author = {B\'elair, Luc},
     title = {Le th\'eor\`eme de {MacIntyre} sur les ensembles d\'efinissables dans les corps $p$-adiques},
     journal = {Groupe de travail d'analyse ultram\'etrique},
     eid = {2},
     pages = {15--30},
     publisher = {Secr\'etariat math\'ematique},
     volume = {13},
     year = {1985-1986},
     zbl = {0692.03021},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/GAU_1985-1986__13__15_0/}
}
TY  - JOUR
AU  - Bélair, Luc
TI  - Le théorème de MacIntyre sur les ensembles définissables dans les corps $p$-adiques
JO  - Groupe de travail d'analyse ultramétrique
PY  - 1985-1986
SP  - 15
EP  - 30
VL  - 13
PB  - Secrétariat mathématique
UR  - http://geodesic.mathdoc.fr/item/GAU_1985-1986__13__15_0/
LA  - fr
ID  - GAU_1985-1986__13__15_0
ER  - 
%0 Journal Article
%A Bélair, Luc
%T Le théorème de MacIntyre sur les ensembles définissables dans les corps $p$-adiques
%J Groupe de travail d'analyse ultramétrique
%D 1985-1986
%P 15-30
%V 13
%I Secrétariat mathématique
%U http://geodesic.mathdoc.fr/item/GAU_1985-1986__13__15_0/
%G fr
%F GAU_1985-1986__13__15_0
Bélair, Luc. Le théorème de MacIntyre sur les ensembles définissables dans les corps $p$-adiques. Groupe de travail d'analyse ultramétrique, Tome 13 (1985-1986), article  no. 2, 16 p.. http://geodesic.mathdoc.fr/item/GAU_1985-1986__13__15_0/