@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://www.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://www.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://www.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, Volume 13 (1985-1986), article no. 2, 16 p. http://www.numdam.org/item/GAU_1985-1986__13__15_0/
[A-K] Diophantine Problems over Local Fields.II., Amer.Jour.Math. 87 (1965) , pp.631-648. | MR | Zbl
et .-. Diophantine Problems over Local Fields.III, Annals of Math. 83 (1966) , pp.437-456. | Zbl
[B] Topics in the Model Theory of p-Adic Fields and Spectra, thèse, Yale, 1985.
.[B-S] On the L-Adic Spectrum, pré-publication, 1985.
et .[C-R] La topologie du spectre réel,dans Ordered Fields & Real Algebraic Geometry, Contemporary Math. Vol.8, AMS, 1982. | MR | Zbl
et .[D] 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] Ultraproducts for Algebraists, dans Handbook of Math. Logic éd. par J.Barwise, North Holland, 1977. | MR
.[E] On Elementary Theories of Local Fields, Algebra i Logika 4 (1965) No.2, pp.5-30. | MR | Zbl
.[M] On Definable Subsets of p-Adic Fields, Jour.Symb.Logic 41 (1976) No.3, pp.605-610. | MR | Zbl
.[P-R] Formally p-Adic Fields, LNM 1050, Springer, 1984. | MR | Zbl
et .[Ri] Théorie des valuations, Presses de l'U. de Montreal, 1964. | MR | Zbl
.[Ro] Complete Theories, North Holland, 1956. | MR | Zbl
.[R] Affine Schemes and p-Adic Geometry, thèse, Cambridge, 1983.
.-. The p-Adic Spectrum, Jour. Pure & Appl. Alg. 40 (1986) No.3.
[S] Das (p,d)-adische Spektrum, thèse, Münster, 1985.
.[W] Quantifier Elimination and Decision Procedure for Valued Fields, dans Logic Colloquium, Aachen 1983, LNM, Springer, 1986. | MR | Zbl
.