Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard
Email des responsables : dickmann@math.univ-paris-diderot.fr
Salle : 1016
Adresse :Sophie Germain
Description


Mardi de 14h00 à 15h45
Page du séminaire et programme
Abonnement à la liste de diffusion


Orateur(s) Jorge GUIER ACOSTA - Universidad du Costa Rica,
Titre Théorie universelle d'une classe modèle-complète d'anneaux réels clos.
Date14/06/2022
Horaire14:00 à 15:45
Diffusion
Résume

Soit T* la théorie des f-anneaux réduits, projetables, divisible-projetables, sc-réguliers et réels clos sans idempotents minimaux (non nuls). La modèle-complétude de cette théorie a été établie auparavant dans le langage des anneaux réticulés avec une relation radicale (dans le sens de Prestel-Schwartz) déterminée par la classe des idéaux premiers minimaux, et une relation de divisibilité locale. Dans cet exposé je décrirai la théorie universelle de T* dans ce langage, augmenté par la relation de divisibilité globale. L'étude détaillé de cette théorie universelle est le pas préalable à une preuve d'élimination des quantificateurs de T* sur laquelle je travaille actuellement.

Salle1016
AdresseSophie Germain
© IMJ-PRG