论文标题
关于连续一阶理论的分类
On classification of continuous first order theories
论文作者
论文摘要
我们为连续一阶逻辑提供了几种新的$ IP $（独立性属性）和$ SOP $（严格的订单属性）的特征，并研究了它们与功能理论和Banach空间理论的关系。我们建议通过研究Baire-1函数的子类的新划分的不稳定理论，并争论为什么人们不应该期望Shelah定理的完美类似物，即，对于真实评估的逻辑，尤其是对于连续逻辑而言，理论是不稳定的。
We give several new characterizations of $IP$ (the independence property) and $SOP$ (the strict order property) for continuous first order logic and study their relations to the function theory and the Banach space theory. We suggest new dividing lines of unstable theories by the study of subclasses of Baire-1 functions and argue why one should not expect a perfect analog of Shelah's theorem, namely a theory is unstable iff it has $IP$ or $SOP$, for real-valued logics, especially for continuous logic.
