Weitere Informationen zum ausgewählten Vortrag

Density of compressibility

Martin Bays (Universität Münster)

Tuesday, 2022-01-18 14:30

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.

Joint work with Itay Kaplan and Pierre Simon.