Skip to main content
Article thumbnail
Location of Repository

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

By Luc Bélair

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

Topics: Logique mathématique, théorie des modèles.
Year: 1990
OAI identifier: oai:www.archipel.uqam.ca:3521

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.