数学论文（番外篇） (7-7)

Laver在他的超紧性不可破坏性结果[Lav78]中考虑的类，事实上，我们在这里的结果在很大程度上不依赖于定向闭合方面。特别是，因为主要定理建立了一个超可破坏性结果，对于该结果，大基数性质被来自一个广泛的类的任何强制概念所破坏。

如果对Laver不可导性有一个修改的理解，则主定理1的主张将保持成立，前提是策略上＜κ-封闭强制概念保留在新的类别中。对于

因此，对我们来说，非常精确地我们所说的Laver坚不可摧，尽管对于确定性，我们一直以来。

3.主要定理的证明

我们现在准备证明主要定理，从main开始定理2和∑3-可扩基数的情形，然后推导主要定理1作为推论。我们不确定κ在地面模型中是∑2-可拓的假设是否可以被放弃，或者削弱，尽管如果对强制Q，正如我们在第4节中所解释的。

定理6（主定理2）。假设Vκ≺2Vλ对于某些λ≥η和G⊆Q对于非平凡的策略＜κ强制Q∈Vη。则对于所有θ≥η，Vκ=V[G]κ6≺3v[G]θ。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。