不稳定理论中的分界线与Baire 1函数的子类
Dividing lines in unstable theories and subclasses of Baire 1 functions
摘要：
我们给出了一个新的表征$SOP$（严格的顺序属性）的行为公式在任何模型的理论，而不是要看的行为不可辨别的序列内饱和的。我们完善了一个定理的Shelah，即一个理论有$OP$（顺序属性）当且仅当它有$IP$（独立属性）或$SOP$，在几个方面的功能分析风格的各种概念的特点。指出了一阶理论中的分界线与Baire 1函数子类之间的某些联系，并给出了某些类和新类一阶理论的新刻画.
英文摘要：
We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a theorem of Shelah, namely a theory has $OP$ (the order property) if and only if it has $IP$ (the independence property) or $SOP$, in several ways by characterizing various notions in functional analytic style. We point out some connections between dividing lines in first order theories and subclasses of Baire 1 functions, and give new characterizations of some classes and new classes of first order theories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
