(上一章大段重复,发不出来,分两段)。
巨大基数:v中存在一个初等嵌入j:v→从v到一个具有临界点k的可传递内模型,那么这个它就是所谓的巨大基数,也就是j(k)?。
伍丁基数:(在强基数后)
f:λ→λ存在一个基数k<λ和{f(β)|β<k}和基本嵌入j:v→来自冯诺依曼宇宙v进入可传递的内部模型和临界点k和v_j(f)(k)?一个等效的定义是这样的:
λ是伍丁当且仅当λ对所有λ来说都是非常难以接近的
a?v_λ存在一个λ_a<λ这是<λ-a-strong的
超强基数:当且仅当存在基本嵌入j:v→从v到具有临界点k和v_j(k)?
类似地,基数k是n-超强当且仅当存在基本嵌入j:v→从v到具有临界点k和v_jn(k)?。
akihirokanaori已经表明,对于每个n>0,n+1-超强基数的一致性强度超过n-hu基数的一致性强度。
强紧致基数:当且仅当每个k-完全滤波器都可以扩展为k-完全超滤器时,基数k是强紧凑的。
强紧基数最初是根据无限逻辑定义的,其中允许逻辑运算符采用无限多的操作数。常规基数k的逻辑是通过要求每个运算符的操作数数量小于k来定义的;那么k是强紧致的,如果它的逻辑满足有限逻辑紧致性的模拟。具体来说,从其他一些陈述集合中得出的陈述也应该从基数小于k的某个子集合中得出。强紧性意味着可测性,并被超紧性所暗示。鉴于相关基数存在,与zfc一致的是第一个可测基数是强紧基数,或者第一个强紧基数是超紧基数;然而,这些不可能都是真的。强紧基数的可测极限是强紧的,但至少这样的极限不是超紧的。强紧性的一致性强度严格高于伍丁基数。一些集合论学家推测强紧基数的存在与超紧基数的存在是等一致的。然而,在开发出超紧基数的规范内模型理论之前,不太可能提供证明。可扩展性是强紧凑性的二阶类比。
超紧致基数:如果?,则称k为λ超紧基数;如果对任意为λ≥k,k为λ超紧基数,则称k为超紧基数。
若k是超紧基数,则存在k个小于k的超强基数。
假设n是一个zfc的模型,δ是一个超紧基数,如果对任意λ>δ,存在pδ(λ)一个δ-完全的正则精良超滤u满足
1:pδ(λ)nn∈u;
2:unn∈n,
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
相邻推荐:系统不靠谱,宿主她只能自救 山野风情小傻医 出门在外,有事就call老祖宗 综武:我的神话造物书 恶魔契约:看清楚!我可是直男! 穿书70年代,我为女主对照组 赋清和 缅北活体解剖,特工浴血营救 综影视:苏颜 穿越农女,辅助相公的计相之路 穿越副本:吸血校园第43章后续 予世安乐 世界首富之桃运渔夫 走过硝烟 霸道总裁情难自抑 修仙:我有一个天道空间 手握大刀崛起,仙路恐怖如斯 领主:被后妈流放,我干烂全世界 被推下楼后,我打败了娱乐圈一姐 潜渊症候群