Designed and built with care, filled with creative elements

Top
Image Alt

Elimination des quantificateurs dans les D-groupes

  /  Évènements
Chargement Évènements
  • Cet évènement est passé

19

Déc

Elimination des quantificateurs dans les D-groupes

On sait que la théorie DCF_0 des corps différentiellement clos de caractéristique 0, élimine les quantificateurs dans le langage { + , – , · , 0 , 1 , D } des anneaux différentiels. Pierce et Pillay ont montré que tout ensemble définissable est une combinaison booléenne d’ensembles définis par des D-variétés. Une D-variété est une paire (V, s), où V est une variété algébrique, et s: V

- Théorie des Modèles et Groupes

Détails :

Orateur / Oratrice : Zoé Chatzidakis
Date : 19 décembre 2017
Horaire : 16h00 - 17h30
Lieu : Sophie Germain salle 1016.