数学联邦政治世界观
超小超大

逻辑论文 (8-1)

注:(Ω-逻辑),(2/2)章节!

2.33,我们有Mα|=B∈MCåM。因此:

(1) MCåM|=ξ(CåM,θ)

(2) MCåM|=ξ(B,θ)。

设N∈MCåM是ZF c的一个Ct.M,它既是cåM-闭的又是Bclosed的(见注2.30)。那么,对于任何β,如果Nβ|=ZF c,则

Nβ|=θ∧,θ,这是不可能的。

一个完全对称的论点会在

假设ZF C`Ω θ,从而表明θ是不可判定的

在ZF C inΩ-思维方式中关于证明长度的一个更精细的概念Ω-逻辑由Wadge提供

实数集的层次结构(参见[9]和[16])。

我们现在将看到Ω 在强迫下也是不变的。在里面

为了证明这一点,我们将使用以下结果(见[6],第3.4节)。

定理2.34。假设存在一个适当的Woodin基数类,δ是Woodin基数,j:V→ M[G]是嵌入派生的

从P<δ的强迫。则V[G]中所有实数的泛Baire集是

普遍存在于M。

定理2.35。([17])假设存在一个适当的Woodin类大基数。然后对于所有P,

T`Ω ξiff

V P²“T`Ω “

证明:⇒) 让A成为ΩT-证明。

则L(A,R)²M(M是ZF c∧Mα|=T→ Mα²ξ)。

假设G⊆P是V-泛型。根据V〔G〕中的推论2.20,

L(AG,RV[G])²M(M是ZF c∧Mα|=T→ Mα²ξ)。

由于A是uB,根据备注2.6,AG是V[G]中的uB。因此,AG是ΩT-在V[G]中的Γ的证明。

⇐) 假设V P²“T`Ω “。设γ是一个强不可及基数P∈Vγ。选择一个Woodin基数δ>γ。考虑a=Pω1(Vγ)∈P<δ

(见事实1.4)。强迫P<δ低于a使Vγ可数,因此存在

偏序的P-名称τ,使得P<δ(a)强迫等价于P*τ。

固定G⊆P<δ(a)V-泛型,设j:V→ M是诱导嵌入。

那么j(δ)=δ和V[G]²M<δ⊆M。我们有V[G]=V[H0][H1] H0⊆P,V-属。因此,V[H0]²“T`Ω “,由一些uB集合A见证。

根据这个定理的另一个方向,V[G]²“T`Ω “,由AG见证。

因此

V〔G〕²“AG是uB∧N∀α(N是ZF c∧α∈关于∧Nα|=T→ Nα²ξ)“。

根据定理2.34,AG是M中的一个uB集,并且由于M在可计数序列,

M²“N(N是ZF c∧→Nα²ξ)“。因此,M²“T`Ω “。通过应用诱导初等

嵌入,我们有V²“T`Ω “。

2.5.A-闭合与强A-闭合。

回想(定义2.16)对于A⊆R,(A

的片段)ZF C是强A闭的,如果对于所有偏序集P∈M和所有M属G⊆P,M[G]∈A∈M[G]。

我们将看到Ω 如果我们使用

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

相关小说

白榆星河 连载中
白榆星河
吏珍向
强大的人,无论何时总会强大,跌倒了就会再站起来,从国家,养娃,到种田,到拯救全世界
1.8万字5个月前
灵感档案 连载中
灵感档案
可乐桉
生活灵感自来,源泉永无止尽
0.7万字4个月前
隐世华族(漫画版改篇) 连载中
隐世华族(漫画版改篇)
卿霄落月
隐世华族改版,内容不变,有插图片。因为我是学生,所以不会经常更,还请谅解。
7.2万字4个月前
轩还瞳命,谁还秀情 连载中
轩还瞳命,谁还秀情
清雪岍月
因为叶灵瞳的威胁,使蓝轩宇不得不做她男朋友,而因此,他也失去了白秀秀,白秀秀回到家中,恢复了她前世记忆,也恢复了能力,他霸气十足的回到史莱克......
0.8万字4个月前
愿所愿都能如愿 连载中
愿所愿都能如愿
林念姝
每日分享一个小故事
16.2万字4个月前
小花仙冬季篇(自创) 连载中
小花仙冬季篇(自创)
星薇芷
初代和二代花仙魔法使者一起收服冬季节气花信
0.6万字4个月前