Martin Bays (Universität Münster):
Density of compressibility
Time and place
Tuesday, 18.1.22, 14:30-15:30, Raum 404, Ernst-Zermelo-Str. 1
Abstract
Compressibility is a certain isolation notion suited to NIP theories. One definition of distality of a theory (a crucial notion with useful combinatorial consequences) is that every type is compressible. I will discuss some good properties of compressibility and their consequences, which include the existence of "compressibly atomic" models over arbitrary sets in countable NIP theories, and uniform honest definitions for an NIP formula. \n\nJoint work with Itay Kaplan and Pierre Simon.