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

翻译版(第三章)终极集合论宇宙(V=UltimateL) (6-1)

终极集合论宇宙(V= Ultimate L):

MOSTOWSKI崩溃与内部模型程序

W.Hugh Woodin

Usiversity Caltosia Berkuey

2013年10月11日

MOSTOWSKI 坍塌

定理

设M是传递集,且X ≺ M,则存在唯一的传递集N和同构

π:N ≅ X。

MOSTOWSKI崩溃的一般化普遍存在于

集合论

集合的宇宙

发电机组

假设X是一个集合.X的幂集是

P(X)=(Y | Υ 是X的子集).

集合的累积层次结构

集合的宇宙V是通过定义Vα生成的,通过对序数 α 的归纳:

1.V₀=∅.

2.Vα₊₁=P(Vα)。

3.如果 α 是一个或多个Vα = ∪ᵦ<α Vᵦ的极限

⇨ 对于一些序数α,每个集合都属于Vα。

 

  

参数的逻辑可定义性

设 X 是传递集。子集Y ⊆ X在逻辑上可根据参数在(X,∈)中定义,如果对于某些公式

φ[x₀,. . .,x₀]和某些参数a₁,. . .,a₀∈ X.

Υ=(a ∈ X | (X ,∈)=╞ φ[a,a₁……a₀]}

可定义功率集

对于每个集合 X ,Рᴅel(X)表示所有Y ⊆ X的集合,使得X在结构(X,∈)中可从X中的参数逻辑定义。

⇨(选择公理)Рᴅel(X)=P(X)当且仅当X是有限的。

⇨Рᴅel(Vᴊ+1)∩Р(R)正好是射影集。

有效累积层次:L

哥德尔的可构造的宇宙。

通过对Lα的归纳法对α进行定义,如下所示。

1.L₀=∅.

2.(后继情况) Lα+1=Рᴅel(Lα).

3.(极限情况)Lα=∪{Lᵦ丨β<α).

L是所有集X的类,使得X∈Lα,对于某些序数α。

定理(哥德尔)

设Χ ≺ Lα。则存在唯一的序数和 β 同构

π:Lᵦ ≅ Χ.

定理(Scott)

Assame V=L,设M是传递集,且

X ≺ M

是基本子结构,使得 Χ ≅ Vα。

则Vα=X.

Arioms,它断言X ≺ M的存在,其中M是传递的

X ≅ Vα

和X ≠ Vα产生了现代层次的大基数公理。

⇨这些轴子表示V≠L.

  

无穷大的Stiorg公理:Lairge 公理的大基数公理lbate

基数 κ 是大基数,如果存在初等嵌入。

j:V→M

使得M是传递类,而 κ 是最小序数使得j(α) ≠ α。

⇨要求 M 接近 V 会产生一系列大的基数目标:

⇨最简单的情况是 κ 是可度量的候选数。

⇨ M=V与选择公理相矛盾。

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

相关小说

神父和他的后宫之主 连载中
神父和他的后宫之主
南风醉意
缺魂神父×缺德恶魔。神父在路边捡到了一位神秘男子,没想到是敌人。神秘男子隐姓埋名在神父身边
2.1万字5个月前
昼夜交替永不更迭 连载中
昼夜交替永不更迭
我爱五星红旗
玛琳·布莱克(阿尔法德·布莱克和某个不知名的美国麻瓜的女儿)平凡但并非没有波澜的一生。她是伊法摩尼的优秀学子,也是令联合国最头疼的员工,更是......
4.3万字4个月前
饥饿幻想 连载中
饥饿幻想
仰木时又鬼云魂
全自创
0.3万字4个月前
豫……永恒 连载中
豫……永恒
梦之糖
主要是平时的灵感
0.3万字4个月前
炮灰女配不按剧本走 连载中
炮灰女配不按剧本走
我爱吃肉777
顾小唯穿进了一本书里,成为了一个缠人又卑微的女配为了成功完成戏份,回到原世界,她兢兢业业地扮演着原身的角色顾小唯微微仰着头,声音暗哑,浑身颤......
22.1万字4个月前
子不语罗刹鸟 连载中
子不语罗刹鸟
没错是钢铁铁本铁
可怕的故事背后总有不为人知的可怜。众人眼中的罗刹鸟是什么形象?我的罗刹鸟—她有着待人询问的回忆和故事…“只要我在一天,我便会护着你”“我也想......
5.3万字4个月前