深红基金会

死亡法庭灭霸

首页 >> 深红基金会 >> 深红基金会最新章节(目录)
大家在看灭族之夜,大帝的我被后人召唤 这个反派有点良心,但是不多! 镇守仙秦:地牢吞妖六十年 凌天剑帝 诡异药剂师:我的病人皆为恐怖 我家大师兄实在是太不正经了 异界召唤之帝庭 最初进化 开局成野神?我靠香火证道真神! 开局被女帝带走,小青梅都急哭了 
深红基金会 死亡法庭灭霸 - 深红基金会全文阅读 - 深红基金会txt下载 - 深红基金会最新章节 - 好看的玄幻小说

本文常用量级绝对无穷部分构造(补充)

上一页书 页下一页阅读记录

后话:看到有人不太理解强极限的证明。其实我们的目的很简单,就是希望对每个 a amp ; amp ; amp ; amp ; a mp ; amp ; amp ; lt ;入,定义一个集合 XaE U ,和一个数 eaE {0,1}。而它们的值究竟什么,则取于{ fES | f ( a )=0}和{ f ∈ s | f ( a )=1}哪一个属于 U ,如果前者属于 U ,则定义 Xa ={ fES | f ( a )=0},且 ea =0;如果后者属于 U ,则定义 Xa ={ fES f ( a )=1},且 sa =1。因为 U 是超滤,可知这种定义是合理的。

强紧致基数

当且仅当每个 k ﹣完全滤波器都可以扩展为 k ﹣完全超滤器时,基数 k 是强紧凑的。

强紧基数最初是根据无限逻辑定义的,其中允许逻辑运算符采用无限多的操作数。常规基数 k 的逻辑是通过要求每个运算符的操作数量小于 k 来定义的;那么 k 是强紧致的,如果它的逻辑满足有限逻辑紧致性的模拟。具体来说,从其他一些陈述集合中得出的陈述也应该从基数小于 k 的某个子集合中得出。

强紧性意味着可测性,并被超紧性所暗示。鉴于相关基数存在,与 ZFC 一致的是第一个可测基数是强紧基数,或者第一个强紧基数是超紧基数;然而,这些不可能都是真的。强紧基数的可测极限是强紧的,但至少这样的极限不是超紧的。

强紧性的一致性强度严格高于伍丁基数。一些集合论学家推测强紧基数的存在与超紧基数的存在是等一致的。然而,在开发出超紧基数的规范内模型理论之前,不太可能提供证明。

可扩展性是强紧凑性的二阶类比。

强可展开基数

形式上,基数 k 是入不可折叠的,当且仅当对于 ZFC 负幂集的每个基数 k 的传递模型 M ,使得 k 在 M 中并且 M 包含其所有长度小于 k 的序列,有一个将 M 的非平凡初等嵌入 j 到传递模型中,其中 j 的临一个基数是可展开的当且仅当它对于所有序数入都是入可展开的。

基数 K 是强入不可折叠的,当且仅当对于 ZFC 负幂集的每个基数 k 的传递模型 M 使得 K 在 M 中并且 M 包含其所有长度小于 k 的序列,有一个非﹣将 M 的 j 简单基本嵌入到传递模型" N "中,其中 j 的临界点为 k , j ( k )≥入,并且 V (入)是 N 的子集。不失一般性,我们也可以要求 N 包含其所有长度为入的序列。

【V=终极L】

见证 ω - 武丁基数的那个核心模型被指控使用了力迫,因而不是典范的(canonical inner model)。

见证武丁基数的武丁极限的那个核心模型同样被指控使用了力迫,并且原文是:

We extend the construction of Mitchell and Steel (Fine Structure and Iteration Trees, Lecture Notes in Logic, vol. 3, Springer, Berlin, 1994) to produce iterable 5ne structure models which may contain Woodin limits of Woodin cardinals, and more. The precise level reached is that of a cardinal which is both a Woodin cardinal and a limit of cardinals strong past it.

也就是其实比武丁基数的武丁极限要强得多(是强极限),然而很多论文都只引用前者……

这包含了以下条款:

0. 见证 a 是武丁基数

见证 a 是武丁基数并是一个对全体武丁基数之极限

见证 a 是武丁基数并是一个对满足(1)的全体基数之极限

...

γ. 见证 a 是武丁基数并是一个对满足 (<γ) 的全体基数之极限

...

a. 见证 a 是武丁基数并是一个满足一切 (γ<λ) 的全体 λ 基数之极限

另一方面该内模型见证cUBH(弱唯一分支假设)成立,并见证 ?a 对一切基数 a 成立

如果某个内模型见证一个基数 a 是 Π12 - 亚紧致基数存在则UBH(唯一分支假设)成立并破坏 ?a。

本小章还未完,请点击下一页继续阅读后面精彩内容!

上一页目 录下一页存书签
站内强推攀高枝 揉碎温柔 诸神愚戏 何不同舟渡 疯批小师叔她五行缺德 八岁小娃,搬空渣爹库房跟着外祖一家去流放 仕途人生 咬春靥 穷鬼的上下两千年 我本无意成仙 我还能在规则怪谈里塌房不成? 御兽时代,我开局神级天赋 重生四九城之大院顽主儿 权力巅峰:反贪第一人 上午毁我丹田,下午在你坟前烧纸 大魏疯王 重生96:权力之巅 空间,万能的,痴情兵王,我的! 快穿之在小世界里边苟边吃瓜 直播算命太准,国家请我出山 
经典收藏老祖别苟了,宇宙要没了 修仙家族:灵石加成系统 哥布林从模拟器开始进化 开局万倍地图,苟到天荒地老 混沌天帝诀 凭借属性面板,我肝成了修真大佬 钢铁洪流敲响:开门,自由贸易! 哥布林从剑之圣女开始 镇守藏经阁百年,投资天命反派 家族太无敌,逼得系统黑化升级 开枝散叶修长生,这个系统不正经 长生万古:从迎娶道侣开始 玄幻:无系统,我也可以镇压诸天 仙界凶险:我苟在高武乱世显圣! 修炼从简化功法开始 天渊 穿书女频,大婚当日被女主杀死 假扮天骄的我,预支修炼成果 吞噬星空之氪金系统 人道大圣 
最近更新反派修仙系统 洪荒:鸿蒙选择系统 先天神算,看到未来的我死亡 不抽象,不成活,四皇子绝不夺嫡 幻像重生 龙凤帝路 灵枢:双尘记 俺不用修炼,吃就行 诡异复苏:我是地府唯一打工人 不灭圣体大荒经 带着两百项异能开始修仙生活 长生世途,大道至简 神陨重生 修仙修傻了 云山农家乐:妖客秘事多 从废柴嫡子到妖神:我杀穿修仙界 每月可以许愿,道宗圣女沦陷 疯子,不,我只是精神分裂 破茧者焚尽九重天 我在仙界卖霉运 
深红基金会 死亡法庭灭霸 - 深红基金会txt下载 - 深红基金会最新章节 - 深红基金会全文阅读 - 好看的玄幻小说