Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
144 tokens/sec
GPT-4o
8 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Some NIP-like phenomena in NTP$_{2}$ (1707.05087v1)

Published 17 Jul 2017 in math.LO

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

Summary

We haven't generated a summary for this paper yet.