English

Some NIP-like phenomena in NTP$_{2}$

Logic 2025-11-25 v2

Abstract

We introduce the notion of an NTP2_{2}-smooth measure and prove that they exist assuming NTP2_{2}. Using this, we propose a notion of distality in NTP2_{2} that unfortunately does not intersect simple theories trivially. We then prove a finite alternation theorem for a subclass of NTP2_{2} 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_{2}.

Keywords

Cite

@article{arxiv.1707.05087,
  title  = {Some NIP-like phenomena in NTP$_{2}$},
  author = {Itay Kaplan and Pierre Simon},
  journal= {arXiv preprint arXiv:1707.05087},
  year   = {2025}
}
R2 v1 2026-06-22T20:48:48.989Z