Thèse soutenue

Produits booleens de corps et d'anneaux de valuation reels clos : theorie des modeles et applications
FR
Accès à la thèse
Auteur / Autrice : JORGE I. GUIER
Direction : Max Dickmann
Type : Thèse de doctorat
Discipline(s) : Mathématiques. Logique et fondements de l'informatique
Date : Soutenance en 1999
Etablissement(s) : Paris 7

Résumé

FR

Cette these s'inscrit dans l'etude modele-theorique des produits booleens (ou faisceau separe sur des espaces booleens) d'anneaux reels clos (au sens de cherlin-dickmann). Des axiomatisations naturelles pour ces structures la sont etablies. Les notions de divisible-projetabilite et de sc-regularite sont introduites pour axiomatiser les produits booleens ou les fibres ne sont que des anneaux de valuation reels clos. Le lien avec les anneaux reels clos (au sens de schwartz) est etudie. La divisible-projetabilite permet de definir un symbole de fonction 2-aire. L'elimination des quantificateurs de la theorie des produits booleens (sur des espaces sans points isoles) des anneaux de valuation reels clos dans le langage des anneaux reticules avec ce symbole de divisibilite est demontre. La theorie du premier ordre des produits booleens de corps et d'anneaux de valuation reels clos (et avec l'axiome de divisible-projetabilite) est donnee par l'algebre de boole des idempotents avec un ideal distingue. Cet ideal est donne par l'ouvert des fibres qui ne sont pas des corps. Les ultraproduits des f-anneaux projetables sont etudies par rapport a la representation de keimel. Les anneaux de fonctions definissables (a parametres ayant au moins un element non-nul et non-inversible) sur un anneau de valuation reel clos sont aussi etudies par rapport a cette representation. La classification des espaces topologiques pour lesquels son anneau de fonctions continues a valeurs reelles se represente comme un produit booleen de corps et d'anneaux de valuation reels clos est etablie.