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

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

相关小说

粼深时见古 连载中
粼深时见古
珺炤
上辈子有着一个深爱自己的人鱼,却对渣男执迷不悟,被渣男害死,重活一世,她飞奔向他
6.4万字9个月前
不怎么喜欢画画 连载中
不怎么喜欢画画
神鸦社鼓
我的小破画
新书9个月前
团宠弟弟又软又香 连载中
团宠弟弟又软又香
时玖愿
【已签约】世人皆知,时家人冷酷无情,即便是对自己的家人,也不曾露出过一丝温暖。确实,重生前的时沐算是见识到了,大哥是业界的魔王,二哥是乐界的......
13.9万字9个月前
摄政王的蠢萌狐妻 连载中
摄政王的蠢萌狐妻
张家小姐
(每日1~3更,点亮会员、打赏金币加更)一次穿越,让欧阳狐和风逸轩相遇。这是场热与冷的碰撞。传说中的摄政王大人,冷酷无情,何曾想有朝一日,他......
69.3万字9个月前
九九黎幽师徒恋 连载中
九九黎幽师徒恋
小小&嫣
已删已删别看
5.5万字9个月前
白鼠的摸鱼集 连载中
白鼠的摸鱼集
白鼠君
画画,唠嗑一些日常。内容包括但不限于:oc,自设,稿件,怪物大师,鸣潮,丰裕之角,光遇,DOUDOU作者准初二,开学更新慢,凑字数的......
0.3万字9个月前