Papers
Topics
Authors
Recent
Search
2000 character limit reached

Model-theoretic dividing lines via posets

Published 1 Sep 2022 in math.LO | (2209.00571v1)

Abstract: We show that for each property P∈OP,IP,TP<em>1,TP2,ATP,SOP3\mathsf{P}\in {\mathsf{OP}, \mathsf{IP}, \mathsf{TP}<em>1, \mathsf{TP}_2, \mathsf{ATP}, \mathsf{SOP}_3} there is a poset Σ</em>P\Sigma</em>{\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}.

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.