数学论文（不可达基数的广义随机实压迫） (14-14)

（3） ν⊳ν′和lg（ν′=Δ1和ν′limΔ1（p）§ν、 d1，S∈1）∈limΔ1（r1） å或′∈ηηlimΔ1（qd1，h′）；或ν′limΔ1（p）§ν、 d1，Så1）\limΔ1（r1）或（4）ν⊳ν′lg（ν′）＞d1和ν′↾d1 8712；p§h、 d，SåT1。

通过归纳，p⑪[ν]h、 d1，Såδ1§ν、 d1，Så1。从rď开始1.和h′∈L∈d1:qδ

不要依赖数集，我们看到了那个p⑪[ν]h、 d，SΔ1§ν、 d，Sδ1和p⑪[ν]h、 d，SåT1§ν、 d，Sx_ T1，

因此等式也适用于ν⊳ν′

那个lg（ν′）＞d1和p⑪[ν]h、 d，S=p§ν、 d，S∈Qd和tr（p[ν]=ν。

（B） 如果lg（ν）≥δ1，则p[ν]包含的所有节点，形状ν′∈p§h、 d，S

使得（1）ν′ν或（2）ν⊳ν′，lg（ν′）＞d1和ν′↾d1 8712；p§h、 d，SåT1为什么，从ν′↾d1⑪[ν]h、 d，S=p§ν、 d，S∈Qd和tr（p[ν]=ν。

特别地，tr（p[ν]=最大｛h，ν｝。

我们已经证明了ν∈p∈Qd⇒p[ν]∈Qd。Q’d呢？

设p∈Q′d，那么对于每一个，我们都有p接下来，观察那个q

为了ν？p？则对于所有lg（ν）≤d′∈dåS，q↾d′=（p \8638；d′）[ν]。

观察p↾d′∈Qd′，并且通过该子句的第一部分也可以（p \8638；d′）[ν]∈Qd′。

对于ν，p[ν]=p∈Q′d

特别是tr（p[ν]

（h）确实如此，tr（p[ν]=最大｛h，ν｝。

根据p[ν]，p[ν]⊆p的定义，并且由于两者强迫Qd的顺序和Q′d是反包含，通过我们刚刚证明的，如果p∈Qδ，那么p≤Qd p[ν]

如果p8712；Q′d则p≤Q′d

p[ν]。

（2） T（GGH）（d，⇧

如此琐碎地说，它属于Qd。然后根据的第一条根据这一说法，T我们完了。

引理32：如果p∈Qδ且lg（tr（p））＜α＜δ，则{p[η]：η∈påTα}是p以上Qδ的最大反链；Q′δ也是如此。

证据设η，Γ∈påTα不同；则η/∈p[η]和Γ/∈p[η].回顾

根据权利要求30第（5）条，p[η]，p[Γ]是不相容的，因此集合{p[η]：η∈påTα}是p上Qδ中的一个反链。此外，设p≤Qδq∈qδ，设η0∈qåTα⊆påT a；则p[η0]与q兼容：它们共同的上界是q[η0]，这是我们刚刚展示的qδ。清晰地

p[η0]∈{p[η]：η∈påTα}，所以这个集合确实是一个极大反链。证据对于Q′δ是相同的。

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