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

数学

(1) ZFC对于ZF在Π¹₄ 语句上保守:任何 Π¹₄ 语句如果能用ZFC证明,ZF就也能证明

(2) ZFC+GCH对ZF+DC在Π²₁ 语句上保守:任何 Π²₁ 语句如能用ZF+GCH证明,那么ZF+DC就能证明

(1)的证明:假设ZFC⊢∀xφ(x) ,其中 φ(x) 复杂度为 Σ¹₃ . 现在从ZF中论证:对于任意 α∈ℝ,L[α]╞ φ(α) ,这是因为 L[α] 满足ZFC. 而根据Shoenfield绝对性定理, L[α]╞ φ(α) 蕴涵 φ(α) ,而由于 α 是任意选取的,所以 ∀xφ(x) 得证。

(2)的证明:假设ZF+DC不能证明∀X⊆ℝφ(A),其中 φ 是二阶算术语句,那么就存在一个模型 M╞ ZF+DC+∃X⊆ℝφ(A) 。对它的 ω₁ 加入一个Cohen subset G ,这会使得 M[G]╞ CH。在这个扩张中取 L(R,A,G) ,注意到这个模型跟M中有着一样的实数,所以我们就得到一个 ZFC+GCH+∃X⊆ℝφ(A) 的模型,这也就说明了ZFC+GCH也不能证明 ∀X⊆ℝφ(A) 。

Remarks:

• 根据对证明的观察,可得知定理(1)中的ZFC可以被加强为ZFC+∃α∈ℝ(V=L[α]) ,而由于广义连续统假设GCH是∃α∈ℝ(V=L[α])的推论,所以也能得知ZFC+GCH对于ZF在 Π¹₄ 语句上保守。定理(2)说得则是一个稍微强的事实,那就是ZFC+GCH对ZF+DC在 Π²₁ 的语句上保守(所以这也包括了所有二阶算术语句)

• 同时我们知道 ∃α∈ℝ(ℝ=ℝ∩L[α]) 复杂度为 Σ¹₄ ,它是ZFC+∃α∈ℝ(V=L[α])的定理但不是ZF的定理。

• 连续统假设 2ω=ω₁ 等价于三阶算术中的 Σ²₁ 语句“存在一个实数上的关系,使得实数在这个关系下被排为良序,其中每一个真前段都可数”。定理(2)就相当于宣告了连续统假设不能等价于任何 Π²₁ 语句。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

漂亮的女人 连载中
漂亮的女人
飞向天宏
某夏天,漂亮的女人与闺蜜去海滩晒太阳,享受着阳光紫外线美身,结果从南方卷起了超强龙卷风……一场意外,成就她们的美梦!
8.0万字3个月前
我嘞个豆啊循环 连载中
我嘞个豆啊循环
云开半雾
以后再说吧反正剧情自我感觉良好哈只是文笔不太好如果有人看可以看见意想不到的反转哈
0.9万字2个月前
萌西穿越:柯诺的极致甜宠 连载中
萌西穿越:柯诺的极致甜宠
人鱼雪蓝
融合奇幻、冒险与爱情元素的精彩小说。故事以萌西和柯诺的经历为主线,构建了一个充满神秘色彩与无尽挑战的宏大世界。萌西,性格开朗且聪慧过人,本是......
6.7万字2个月前
猴探oc大乱斗 连载中
猴探oc大乱斗
甜心冰糖
本书主要主角就是猴探的oc们,想要让我加进去你们oc的就加我dy、ks或xhsdy:甜心冰糖ks:冰糖xhs:冰糖头像不变!
8.7万字1个月前
别了亲爱的:用情至深 连载中
别了亲爱的:用情至深
不知名诗人
我又活了,拥有了新的身份,唯一没变的是对她的爱,这次我绝对要保护好她,熟悉的环境,重走一遍的剧情,我绝对不会让她再受伤了,我不会再唯唯诺诺,......
1.4万字3周前
白痴我在结界当猎人 连载中
白痴我在结界当猎人
淼淼猫_8697846306955834
弑神,一切都是喜剧,世界永远也跳不出被控制的命运,我们都是演员。都是表演者,都是为了取悦他人,取悦那个控制我们的人
0.7万字2周前