论文标题
NSOP1理论中的超级磁性的Kim-forking
Kim-forking for hyperimaginaries in NSOP1 theories
论文作者
论文摘要
我们适应了NSOP1理论中Kim独立的特性，并在[5]，[4]和[4]和[2]中得到了Ramsey，Kaplan，Chernikov，Dobrowolski和Kim的证明，通过添加过度杂志的存在的假设。我们表明，金正日的金正日独立性满足了金的引理，对称性，独立定理，传递性和见证的版本。作为应用，我们将Kim的结果调整了分类性和弱规范碱基，从[8]到超级临时性，并使用有界封闭的超级代价药给出了有关Lascar强类型和Kim-Forking的一些新结果。
We adapt the properties of Kim-independence in NSOP1 theories with existence proven in [5],[4] and [2] by Ramsey, Kaplan, Chernikov, Dobrowolski and Kim to hyperimaginaries by adding the assumption of existence for hyperimaginaries. We show that Kim-independence over hyperimaginaries satisfies a version of Kim's lemma, symmetry, the independence theorem, transitivity and witnessing. As applications we adapt Kim's results around colinearity and weak canonical bases from [8] to hyperimaginaries and give some new results about Lascar strong types and Kim-forking using boundedly closed hyperimaginaries.
