BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20191027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20191022T160000
DTEND;TZID=Europe/Paris:20191022T173000
DTSTAMP:20260408T211504
CREATED:20191022T140000Z
LAST-MODIFIED:20211025T103725Z
UID:8526-1571760000-1571765400@www.math.ens.psl.eu
SUMMARY:The transitivity of Kim-independence
DESCRIPTION: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.
URL:https://www.math.ens.psl.eu/evenement/the-transitivity-of-kim-independence/
LOCATION:Sophie Germain salle 1016
CATEGORIES:Théorie des Modèles et Groupes
END:VEVENT
END:VCALENDAR