Logic Seminar - Itay Kaplan

Wed, 06/11/201911:00-13:00
Ross building - Room 63
On distal and co-distal types


I will define the notions described in the title, and ask if they are equivalent. I will present a proof showing that they are in case the theory is NIP. The proof is essentially the proof of the fact that the lack of distality is witnessed by a sequence of singletons by Pierre Simon’s.