Séminaire Logique mathématique ICJ

Léo Jimenez: "Internalité en familles"

Europe/Paris
Salle 112

Salle 112

Description

Résumé : En théorie des modèles, la notion de type interne est utile pour comprendre la structure des théories superstables, notamment grâce à la construction de groupes de Galois type-définissables. De plus, tout type peut se décomposer en une tour de fibrations, avec fibres internes. Ceci amène naturellement à considérer des familles uniformément définissables de types internes. Je présenterai une ébauche d'étude des familles : construction d'un groupoïde type-définissable, critère d'internalité et exemples dans DCF_0. Si le temps le permet, j'aborderai également le lien avec la propriété de la base canonique (CBP).