Le théorème de Macintyre, un théorème de Chevalley p-adique

Abstract

RÉSUMÉ. Nous exposons une démonstration du théorème de A. Macintyre sur la structure des ensembles algébriquement définissables dans les corps p-adiques en illustrant des techniques élémentaires de théorie des modèles.\ud ABSTRACT. We illustrate elementary methods from model theory through a proof of A.\ud Macintyre’s theorem on the structure of algebraically definable subsets of p-adic space