Séminaire Logique mathématique ICJ
On dependently embedded sets
par
→
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.