传递性、低度和NSOP$_1$理论中的等级
摘要：在满足存在公理的NSOP$\_{1}$理论的背景下，我们发展了Kim独立性的理论。我们证明，在这样的理论中，Kim独立性是可传递的，并且$ind^{K}$-Morley序列可以证明Kim除法。作为应用，我们证明，在存在的假设下，在低NSOP$\_{1}$理论中，Shelah强类型和Lascar强类型是相同的，并且我们还引入了NSOP$\_{1}$理论的一个等级的概念。
作者：Artem Chernikov, Byunghan Kim, Nicholas Ramsey
论文ID：2006.10486
分类：Logic
分类简称：math.LO
提交时间：2023-06-05