I will discuss compressible types and relate them to uniform definability of types over finite sets (UDTFS), to uniformity of honest definitions and to the construction of compressible models in the context of (local) NIP. All notions will be defined during the talk.
Joint with Martin Bays and Pierre Simon.
The join button will be published on the right (Above the view all button) 30 minutes before the seminar starts (login required).
- Logic Seminar