Seminar series
Date
Thu, 13 Oct 2022
Time
15:00 - 16:00
Location
L5
Speaker
Itay Kaplan
Organisation
The Hebrew University of Jerusalem

I will discuss the following statement, a definable version of the (p,q) theorem of Jiří Matoušek from combinatorics, conjectured by Chernikov and Simon:

Suppose that T is NIP and that phi(x,b) does not fork over a model M. Then there is some formula psi(y) in tp(b/M) such that the partial type {phi(x,b’) : psi(b’)} is consistent.

Please contact us with feedback and comments about this page. Last updated on 05 Oct 2022 10:44.