Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Pablo Cubides Kovacsics - Université de Caen,
Titre Densité forte des types définissables
Date06/11/2017
Horaire15:10 à 16:10
Diffusion
RésumeRécemment, l'importance de la densité des types définissables a été relevée par différentes preuves de l'élimination des imaginaires dans les corps valués algébriquement clos. Dans cet exposé, on introduira des variantes de cette propriété et on donnera des exemples de théories les satisfaisant. Comme application, on obtiendra une preuve de l'élimination des imaginaires de la théorie des corps ordonnés différentielement clos (CODF). Il s'agit d'un travail un commun avec Quentin Brouette et Françoise Point.
Salle1013
AdresseSophie Germain
© IMJ-PRG