Some NIP-like phenomena in NTP2
Abstract
We introduce the notion of an NTP2-smooth measure and prove that they exist assuming NTP2. Using this, we propose a notion of distality in NTP2 that unfortunately does not intersect simple theories trivially. We then prove a finite alternation theorem for a subclass of NTP2 that contains resilient theories. In the last section we prove that under NIP, any type over a model of singular size is finitely satisfiable in a smaller model, and ask if a parallel result (with non-forking replacing finite satisfiability) holds in NTP2.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.