|Responsables :||Z. Chatzidakis, F. Oger, F. Point|
|Email des responsables :||email@example.com|
|Adresse :||Salle 1013|
Pour recevoir le programme, écrivez à oger_at_math.univ-paris-diderot.fr
|Orateur(s)||Nick Ramsey - ENS,|
|Titre||The transitivity of Kim-independence|
|Horaire||16:00 à 17:30|
The class of NSOP_1 theories contains the simple theories and many interesting non-simple theories, such as the omega-free PAC fields or generic vector spaces with a non-degenerate bilinear form. With Itay Kaplan, we introduced Kim-independence which agrees with non-forking independence within the simple theories and shares many of its nice properties within the simple NSOP_1 context. One very basic roadblock in lifting simplicity theory to the NSOP_1 setting, however, was transitivity: a free extension of a free extension should still be a free extension. This is almost immediate for non-forking extensions in a simple theory, but becomes more involved for free extensions in the sense of Kim-independence. We will describe and motivate the basic theory, and then discuss our recent proof of transitivity. This is joint with Itay Kaplan.