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. 
@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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/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://archive.numdam.org/item/GAU_1985-1986__13__15_0/

[A-K] J. Ax et S. Kochen. Diophantine Problems over Local Fields.II., Amer.Jour.Math. 87 (1965) , pp.631-648. | MR | Zbl

-. Diophantine Problems over Local Fields.III, Annals of Math. 83 (1966) , pp.437-456. | Zbl

[B] L. Bélair. Topics in the Model Theory of p-Adic Fields and Spectra, thèse, Yale, 1985.

[B-S] L. Bröcker et J.H. Schinke. On the L-Adic Spectrum, pré-publication, 1985.

[C-R] M. Coste et M.-F. Coste-Roy. La topologie du spectre réel,dans Ordered Fields & Real Algebraic Geometry, Contemporary Math. Vol.8, AMS, 1982. | MR | Zbl

[D] J. Denef. The Rationality of the Poincaré Series Associated to the p-Adic Points on a Variety, Inventiones Math. 77 (1984), pp.1-23. | MR | Zbl

[D1] -. p-Adic Semi-Algebraic Sets and Cell Decompositions, pré-publication.

[D2] -. On the Evaluation of Certain p-Adic Integrals, PM Séminaire de théorie des nombres, Paris 1983-84. | Zbl

[Ek] P. Eklof. Ultraproducts for Algebraists, dans Handbook of Math. Logic éd. par J.Barwise, North Holland, 1977. | MR

[E] Y. Ershov. On Elementary Theories of Local Fields, Algebra i Logika 4 (1965) No.2, pp.5-30. | MR | Zbl

[M] A. Macintyre. On Definable Subsets of p-Adic Fields, Jour.Symb.Logic 41 (1976) No.3, pp.605-610. | MR | Zbl

[P-R] A. Prestel et P. Roquette. Formally p-Adic Fields, LNM 1050, Springer, 1984. | MR | Zbl

[Ri] P. Ribenboim. Théorie des valuations, Presses de l'U. de Montreal, 1964. | MR | Zbl

[Ro] A. Robinson. Complete Theories, North Holland, 1956. | MR | Zbl

[R] E.P. Robinson. Affine Schemes and p-Adic Geometry, thèse, Cambridge, 1983.

-. The p-Adic Spectrum, Jour. Pure & Appl. Alg. 40 (1986) No.3.

[S] J.H. Schinke. Das (p,d)-adische Spektrum, thèse, Münster, 1985.

[W] V. Weispfenning. Quantifier Elimination and Decision Procedure for Valued Fields, dans Logic Colloquium, Aachen 1983, LNM, Springer, 1986. | MR | Zbl