arXiv:1904.09486 [math.LO]AbstractReferencesReviewsResources
Dividing lines in unstable theories and subclasses of Baire 1 functions
Published 2019-04-20Version 1
We give a new characterization of SOP (the strict order property) and an optimal version of a theorem of Shelah, namely a theory has OP (the order property) if and only if it has IP (the independence property) or SOP. We point out some parallels between dividing lines in unstable theories and subclasses of Baire 1 functions.
Comments: Comments are welcome! email: k.khanaki@gmail.com
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2011.04034 [math.LO] (Published 2020-11-08)
A Strictly $ \text{NSOP}_3 $ Theory
arXiv:0909.3753 [math.LO] (Published 2009-09-21)
Orthogonality and domination in unstable theories
arXiv:1307.0604 [math.LO] (Published 2013-07-02)
Semi-isolation and the strict order property