不稳定理论中的分界线与 Baire 1 函数子类
逻辑
2022-03-23 v7
摘要
我们给出了 （严格序性质）的一种新刻画，基于理论中任意模型的公式行为，而非必须考察饱和模型内不可辨序列的行为。我们细化了 Shelah 的一个定理，即一个理论具有 （序性质）当且仅当它具有 （独立性质）或 ，通过以泛函分析风格刻画各种概念从多方面加以细化。我们指出了一阶理论中的分界线与 Baire 1 函数子类之间的一些联系，并给出了某些类的新刻画以及一阶理论的新类。
引用
@article{arxiv.1904.09486,
title = {Dividing lines in unstable theories and subclasses of Baire 1 functions},
author = {Karim Khanaki},
journal= {arXiv preprint arXiv:1904.09486},
year = {2022}
}
备注
In this new version there are minor corrections. (23 pages)