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

Ultimate-L,终极-L (9-3)

定义(莱因哈特)

  

假设δ是一个基数。

  

那么δ是可扩基数,如果对于每个λ >δ

  

存在初等嵌入

  

π : Vλ+1 → Vπ(λ)+1

  

使得CRT(π) = δ并且π(δ) > λ。

  

可扩基数和一个二分法定理

  

定理(HOD二分法定理(弱版本))

  

假设δ是可扩基数。

  

然后是下面的一个保持。

  

(1)没有正则基数κ ≥ δ在HOD中是ω-强可测的。

  

进一步,假设γ是奇异基数,γ > δ。

  

I那么γ是HOD和γ中的奇异基数

  

+ = (γ+)

  

可扩基数和一个二分法定理

  

定理(HOD二分法定理(弱版本))

  

假设δ是可扩基数。

  

然后是下面的一个保持。

  

(1)没有正则基数κ ≥ δ在HOD中是ω-强可测的。

  

进一步,假设γ是奇异基数,γ > δ。

  

I那么γ是HOD和γ中的奇异基数

  

+ = (γ+)

  

(2)每个正则基数κ ≥ δ都是ω-强可测的

  

如果有一个可扩展的红衣主教,那么霍德必须是

  

靠近V或者HOD一定远离V。

  

这就像詹森二分法定理,但是

  

用HOD代替l。

  

超级紧密度

  

定义

  

假设κ是不可数正则基数,κ < λ。

  

1.Pκ(λ) = {σ ⊂ λ σ < κ}。

  

2.设U ⊆ P (Pκ(λ))是一个超滤子。

  

如果对于每个α < λ,

  

{σ ∈ Pκ(λ) α ∈ σ} ∈ U。

  

对于每个函数,I U是正常的

  

f : Pκ(λ) → λ

  

到这样的程度

  

{σ ∈ Pκ(λ) f (σ) ∈ σ} ∈ U,

  

存在α < λ,使得

  

{σ ∈ Pκ(λ) f (σ) = α} ∈ U。

超级致密红雀

  

定义(索洛维,莱因哈特) 

  

假设κ是不可数的正则基数。

 

I那么κ是一个超紧基数,如果对于每个λ > κ   

  

在Pκ(λ)上存在一个超滤子U,使得:

I U是κ-完全的、正常的、精细的超滤器

  

引理(马吉德)

  

假设δ是强不可达的。

  

那么下面是相当于

  

(1) δ是超紧的。

  

(2)对于所有λ > δ,存在δ < λ < δ和一个初等

  

把...嵌入

  

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

相关小说

体验一下凡人的生活 连载中
体验一下凡人的生活
小宋家的棋棋
本文想说的是作者自己的真实生活经历改写的小说,如有不适可以弃文最好不要辱骂勿上正主。
0.1万字9个月前
修仙大佬成了宜修亲女 连载中
修仙大佬成了宜修亲女
卢海清
修仙大佬虞承熠,受天道的蛊惑穿进了雍正的皇后乌拉那拉.宜修的的腹中,还好自己觉醒了天雷之体,顺便给雍正、宜修造了个梦,顺便还给自己搞了个国师......
0.0万字9个月前
假死后疯批们都为我火葬场 连载中
假死后疯批们都为我火葬场
该用户已注销
新文开张:《穿进疯批乙女游戏成为恶毒女配后》玄幻54∽101:白切黑万人迷花魁×各路疯批大佬现代1∽53:舔狗替身落魄女星×各路疯批大佬 舔......
10.8万字9个月前
如意狐君 连载中
如意狐君
倾城冰舞
修行千年一朝尽,只愿与你聚无离,此生孤寂情难弃,看尽桃花笑春风。本小说纯属虚构,是原创,禁止转载,抄袭,二改!(小说里面的图片、明星头像来均......
12.4万字9个月前
穿成魔尊的心尖宠 连载中
穿成魔尊的心尖宠
似若非梦
【已签约】信小雅前一夜还在吐槽【关注我就更新】的玄幻新文——《黑化魔尊洗白了》——男主魔尊暮修晟的洗白过程过于刻意,睁开眼就发现自己成为了即......
7.8万字9个月前
噩梦来袭生存游戏 连载中
噩梦来袭生存游戏
青稞骨
欢迎来到生存游戏这里是魔鬼的天堂,噩梦降临你们将在这里进行一场游戏,请努力活下去。一群能力特异的大盆友,一场惊心动魄的游戏…游戏已经开始[已......
6.0万字9个月前