Seminar series
Date
Thu, 24 Jan 2019
11:00
11:00
Location
L6
Speaker
Itay Kaplan
Organisation
Hebrew University
NSOP1 is a class of first order theories containing simple theories, which contains many natural examples that somehow slip-out of the simple context.
As in simple theories, NSOP1 theories admit a natural notion of independence dubbed Kim-independence, which generalizes non-forking in simple theories and satisfies many of its properties.
In this talk I will explain all these notions, and in particular talk about recent progress (joint with Nick Ramsey) in the study of Kim-independence, showing transitivity and several consequences.