数学 (3-3)

（参见[6]）（固定塔强制）i） 一套δ=∅是平稳的，如果对于任何函数F:[Şa]＜ω→ ∪a、 那里存在b∈a使得F“[b]＜ω⊆b。

ii）给定一个强不可访问基数κ，我们定义了平稳Tower Forcing概念：其条件集κ={a∈Vκ：a是平稳的}，并且该顺序由以下定义：a≤b iffŞb⊆õa和{ZŞ（Şb）|Z∈a}\8838b。

事实1.4。

给定γ＜δ是强不可及的，a=Pω1（Vγ）∈P＜δ。

证明：给定F:[Vγ]＜ω→ Vγ，设x∈[Vγ]＜ω，并设：A0=x，An+1=AnŞ{F（y）：y∈[An]＜ω}设b=S n∈ωAn。

因此，b∈Pω1（Vγ）和F“[b]＜ω⊆b。

回想一下Woodin基数的大基数概念：

定义1.5。（[10]）

基数δ是Woodin基数，如果对于每个函数f:δ→ δ存在κ＜δ与f“κ⊆κ，并且存在一个初等嵌入j:V→ M具有临界点κ，使得Vj（f）（κ）⊆M。

定理1.6。（参见[6]）

假设δ是Woodin基数，并且G⊆P＜δ是一个V型一般滤波器。

那么在V[G]中存在一个初等嵌入j:V→ M、 M传递，使得V[G]²M＜δ⊆M和j（δ）=δ。

此外，对于所有的a∈P＜δ，a∈G iff j“Şa∈j（a）。

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