English

Model-theoretic dividing lines via posets

Logic 2022-09-02 v1

Abstract

We show that for each property P{OP,IP,TP1,TP2,ATP,SOP3}\mathsf{P}\in \{\mathsf{OP}, \mathsf{IP}, \mathsf{TP}_1, \mathsf{TP}_2, \mathsf{ATP}, \mathsf{SOP}_3\} there is a poset ΣP\Sigma_{\mathsf{P}} such that a theory has property P\mathsf{P} if and only if some model interprets a poset in which ΣP\Sigma_{\mathsf{P}} can be embedded. We also introduce a new property SUP\mathsf{SUP}, consistent with NIP2\mathsf{NIP}_2 and implying ATP\mathsf{ATP} and SOP\mathsf{SOP}.

Cite

@article{arxiv.2209.00571,
  title  = {Model-theoretic dividing lines via posets},
  author = {Darío García and Rosario Mennuni},
  journal= {arXiv preprint arXiv:2209.00571},
  year   = {2022}
}
R2 v1 2026-06-28T00:34:54.516Z