2017/07/17 by Itay Kaplan, Pierre Simon, Kaplan, Itay +1
Medicine · #03C45 #03C55 #03C95 #Biomedical Research and Pathophysiology #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.1707.05087
openalex publication_date 2017/07/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.