Some NIP-like phenomena in NTP$_{2}$
Logic
2025-11-25 v2
Abstract
We introduce the notion of an NTP-smooth measure and prove that they exist assuming NTP. Using this, we propose a notion of distality in NTP that unfortunately does not intersect simple theories trivially. We then prove a finite alternation theorem for a subclass of NTP 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 NTP.
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}
}