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

逻辑论文 (15-4)

(注意,由于T是r.e.,“T²Ω 在Sent中可以写成一句话。

因此,ii)是有道理的。)

证明:i)⇒ ii)设α∈On和B为c.B.a。设β<α

▪Q是c.B.a。

在VαB中,使得VαB²“V

▪βQ²T”。然后V B*

▪βQ²T.由i),V B*

▪βQ²和因此VαB²“V

▪βQ²“。

ii)⇒ i) 假设α∈On,B是c.B.a,VαB|=T。固定β>α,βa极限序数。由于T是r.e.,如果VβB|=“ψ∈T”,则ψ∈T,因此

VαB|=ψ。因此,VβB|=“Vα|=T“。

通过ii),VβB|=“T|=Ω “。因此VβB|=“Vα|=Ω “,我们得到VαB|=。

备注1.10。假设ZF C是一致的。此外,对于iv),假设VαB|=ZF C与ZF C一致,对于一些序数α和一些c.B.a.B.然后,

i) 如果对传递集来说,Γ是绝对的,那么ZF C`(Γ→ ∅ ²Ω ξ)。

ii)对于一些Γ∈Sent,ZF C δ`(Γ→ (∅²Ω ξ))。

iii)对于一些Γ∈Sent,ZF Cδ`((ZF C²Ω ξ)→ ξ)。

iv)对于一些Γ∈Sent,ZF Cδ`((ZF C²Ω “ZF C²Ω ξ”)→ (ZF C²Ω

ξ))。

证据:i)是明确的。ii)适用于可以强制为true和false,例如CH。

iii)设ξ=“∃β(Vβ²ZF C)”。设M是ZF C的一个模型α和M中的每个B,MαB6|=ZF C(称这种情况为1),则M²“ZF C²Ω“+”。否则,设β最小,使得MβB|=ZF C,对于一些B。

则MβB是ZF C的一个模型,称之为N,并且具有对于α和每一个c.B.a.c,NαC6|=ZF c。所以,我们回到情况1。

iv)考虑以下句子:ξ=“βγ(β<γ∧Vβ²ZF C∧Vγ²ZF C)”。

设M是ZF C的一个模型,使得M|=αB(VαB|=ZF C)。如果每α和每个c.B.a.B,MαB6|=ξ(称为情况1),则M²(ZF c²Ω“ZF C²Ω ξ“)+(ZF C²Ω ξ)。

如果对于一些α和B,MαB|=ξ,则设γ是最小序数,使得MγB²ZF C+β(VβB²zfc)。设N为MγB。则N具有属性对于每一个α和每一个C,NαC6|=ξ,所以我们回到情况1。

定理1.11(²的非紧性Ω). 存在TÜ{⏴}⊆发送为T²Ω 但是对于所有有限的S⊆T,S2Ω ▪。

证明:设ξ0为断言句子:存在最大极限序数。

对于每个n∈ω,n>0,设ξn是断言的句子:如果α是最大的

极限序数,则α+n存在。

最后,设ξ为断言的句子:每个序数都有一个后继词。

设T={ξn:n∈ω}。

然后,T|=Ω ▪。但是如果S⊆T是有限的,那么S 6|=Ω ▪。

通过更多的工作,我们可以证明²的紧致度Ω 也失败

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

相关小说

探枝的电子日常 连载中
探枝的电子日常
探枝
我的日常生活的发疯
0.0万字9个月前
绝望彼岸 连载中
绝望彼岸
绝生永迹
本文是类似魔法的小说,喜欢看的可以常来,不喜欢的,对不起,没有写到你想要的剧情。如果有人比我更早写这种类型,那请原谅我。这部小说一天一更或两......
1.1万字9个月前
冲破束缚,归来你旁 连载中
冲破束缚,归来你旁
棠梨_19089930465023690
这是个由血族,人类和银月族组成的世界,血族人多强大靠人类的鲜血为生,银月族是被赋予神术的人类,拥有强大的法力,但人口稀少。而血族想要称霸世界......
0.9万字9个月前
穿越兽世之种田宠夫 连载中
穿越兽世之种田宠夫
小啊言
(已签约,原创)不小心穿越兽世,她成为了团宠,每天过着前世从来不敢想像的养老生活。可作为一个有志向的女青年,林淼淼才不会就这样过了一生,改变......
10.1万字9个月前
曦阳曙光 连载中
曦阳曙光
蓝桉有矜鶴
曦阳真神的与沧海阁阁主的三世情缘,曦阳真神死后转世成瑶光上神与火神一段孽缘自爆内丹被寒渊府府主所救,化成一缕精魂成了冥界小公主阎王的的妹妹阎......
5.3万字8个月前
我与诸君皆有缘 连载中
我与诸君皆有缘
NTS.姜慕妍
『已签约』2021.6.2————————————————————————我们对你的爱无关其他,因你值得——————————————————......
5.1万字8个月前