Séminaire Logique mathématique ICJ

On dependently embedded sets

par Enrique Casanovas (Barcelone)

Europe/Paris
ICJ, bât. Braconnier, Université Lyon 1 - La Doua, salle 125

ICJ, bât. Braconnier, Université Lyon 1 - La Doua, salle 125

Description

I will discuss some variants of the notion of stably embeddedness which seem to be more appropriate for NIP types. This is connected to the work of Chernikov and Simon on honest definitions.