Fiche du document
1990
- handle: 10670/1.512s0x
- Bélair, Luc (1990). « Le théorème de Macintyre, un théorème de Chevalley p-adique ». Annales des sciences mathématiques du Québec, 14(2), pp. 109-120.
Ce document est lié à :
http://archipel.uqam.ca/3521/
Mots-clés
Logique mathématique théorie des modèles.Sujets proches
Teoría de modelos Ossature Analyse de structure Comportement des structures MSC 03CXX Modèles, Théorie desCiter ce document
Luc Bélair, « Le théorème de Macintyre, un théorème de Chevalley p-adique », UQAM Archipel : articles scientifiques, ID : 10670/1.512s0x
Métriques
Partage / Export
Résumé
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. ABSTRACT. We illustrate elementary methods from model theory through a proof of A. Macintyre’s theorem on the structure of algebraically definable subsets of p-adic space.