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

数学

(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),接着再看更方便。

相关小说

相遇和你 连载中
相遇和你
樱三
李云天为天玄宗立下了汗马功劳,原本是天玄宗宗主继承人,却没想到被宗门弟子嫉妒惨遭暗算,迫不得已打开了异世界的通道,将自己元神分离进入了这个异......
4.2万字6个月前
御妖诀 连载中
御妖诀
月无年
“苏荼…你骗的本王好苦啊…”他等了她三万年,换来的,只是一副空壳罢了。那个曾经爱笑的苏荼,如今变成了杀人的刀。在面对君临御的时候,你的剑也会......
6.3万字6个月前
一本看哭人的小说 连载中
一本看哭人的小说
啊,天才!
----回忆里永远的End永恒----
7.0万字6个月前
珩时 连载中
珩时
安逸_liberty
世界背景:这是个有异能者和魔兽的世界,这些异能者都归国家的科学家研究。(此为幻想类世界观,与现实世界无关)基本消息:每6个异能者分为一队,按......
0.6万字3个月前
恋祺曰记 连载中
恋祺曰记
♡̶҉余悸꧔ꦿ℘_64666586542
马嘉祺与马芙
0.8万字3个月前
重生之我是cpvp大佬然后打遍天下 连载中
重生之我是cpvp大佬然后打遍天下
踢歪大神
主角踢歪基地被毁,网站被黑,竟是24Min推波助澜!踢歪重生,势必要让24Min付出代价!本书又名基地被毁后我重生为世界第二pvper
3.3万字2个月前