深红基金会

死亡法庭灭霸

首页 >> 深红基金会 >> 深红基金会最新章节(目录)
大家在看灭族之夜,大帝的我被后人召唤 天兽鼎 乱世书 豪门枭士 太上武神诀 八岁开始模拟的我觉醒重瞳 宿命之环 开局天牢狱卒,苟到无敌才出世! 诡道长生:我在诡异世界封神 异界召唤之君临天下 
深红基金会 死亡法庭灭霸 - 深红基金会全文阅读 - 深红基金会txt下载 - 深红基金会最新章节 - 好看的玄幻小说

本文常用量级绝对无穷部分构造6(玄宇宙V逻辑多元)

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

·如果对于超过V的高度的每一个序数α,表达存在一个生成V的α-可迭代的预-#的理论 Tα 是一致的,那么V就是弱#-生成的。

双参数强内模型假设 SIMH(ω1,ω2):

·带有两个绝对参数的句子如果在尊重这些参数的外模型中成立,那么在某个V可定义的内模型中也成立。

这个公理直接给出连续统的否定。

基数绝对性:

·设p是V中的一个参数,P是V中的参数集。

将p称之为对P强绝对的,如果存在带有参数集P的在V上定义的公式 ψ ,在V的所有#-生成的外模型上的基数都保持,包括 ψ 中提到的参数的遗传基数。

Definition 16. Let p be a parameter in V and P a set of parameters in V . Then p is strongly absolute relative to P if there is a formula ? with parameters from P that defines p in V and all #-generated outer models of V which preserve cardinals up to and including the hereditary cardinality of the parameters mentioned in ?.

基数最大化 CardMax(κ+):

·κ是无限基数。如果序数 α 对 κ 的子集是强绝对的,那么 α 的基数最多为 κ .

可以证明,如果κ是正则基数,那么就有一个集合力迫,其中 CardMax(κ+) 成立。但对于任意基数则尚不明确。

M-基数越轨(M-cardinal Violation):

存在一个内模型M,对于一切基数 κ , κ+ 大于M的 κ+ 。

HOD-基数越轨是一致的。 κ+ 在HOD中是不可达的基数越轨还不能清楚是否一致。

基数绝对参数强内模型假设:

SIMH(CP),CPSIMH

·带有一个基数绝对参数的句子如果在基数绝对外模型中成立,那么在某个V可定义的内模型中也成立。

宽度反射原理(WR, Width Reflection):

我们可以仿照#-生成的成功来开发“宽度不可辨认性”。

j是可调和的,如果 j?(Vβ)V0 对于 ?β:ordinal,β∈V

对于任意序数α,存在非平凡初等嵌入,

j:V0→V,crit(j)<α 并且j是可调和的

WR相对于拉姆齐基数的存在性是一致的。WR可以轻易的拓展到任意有限链 V0<V1<...<Vn ,但要实现无限链是困难的。要实现宽度不可辨认性,我们希望链长度达到Ord+1.

——————————

【总结陈词】

带有*的理论可以证明CH不成立。

玄宇宙计划是目前依旧活跃的关于集合论哲学的研究计划。通过允许“Ord + 1”之类的对象在理论中被使用,简单粗暴的解决了高度潜在主义者的需求。而类-IMH公理所提供的外模型~性质内模型化也解决了宽度潜在主义者的需求。宽度完成主义虽然更易被理解,但更难被一致地刻画出来。最后,本论文探讨了基数最大化的候选公理,以及在脱离HOD猜想的真值下将类-IMH公理一阶化的可能性(Omniscient)。

【举一反三】

虽然笔记作者并不是很接受这系列论文集合论哲学说书,但是毫无疑问的基数最大化和宽度最大化本身是很有研究意义的;IMH本身也非常有趣。

值得注意的是,玄宇宙计划的主要纲领和类型论哲学是可以产生对应的:

·数学实践的丰富性:构造主义类型论需要死守canonicity,似乎注定了不会过于丰富。但即使不考虑Harvey Friedman's grand conjecture这种东西,“所有证明的规约都必须有一个绝对的有穷长度的停机的结果”似乎是一个对于所有数学家显然和必然的要求。

·数学实践的基础需求:如前所注,类型论可通达范畴论进而通达布尔巴基,也可通达一切可计算数学,一切数学的证明自动检验(形式化)和整个计算机科学,构造主义类型论在基础需求上完胜。

·数学的真理论,和数学的最大化:对于真理论,构造主义类型论自然还是完胜。类型论哲学不关心最大化,但我们可以进一步的讨论。

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

上一页目 录下一页存书签
站内强推攀高枝 灯花笑 诸神愚戏 官场:被贬后,我强大身世曝光 八岁小娃,搬空渣爹库房跟着外祖一家去流放 全民巨鱼求生:我能听到巨鱼心声 从水猴子开始成神 咬春靥 官狱 我本无意成仙 异兽迷城 执魔 万古第一废材 开局签道大帝修为 御兽时代,我开局神级天赋 快穿之在小世界里边苟边吃瓜 天兽鼎 星辰大道 封总,太太想跟你离婚很久了 官路之谁与争锋 
经典收藏老祖别苟了,宇宙要没了 强化子嗣,我的后代都是仙界大佬 修仙家族:灵石加成系统 系统赋我长生,活着终会无敌 凭借属性面板,我肝成了修真大佬 哥布林从剑之圣女开始 开局不朽大帝,只手覆灭禁区 开局帝境宗主,无限合成仙人长老 人在玄幻写日记,我真不是曹贼啊 修仙:我真没想当舔狗! 反派:禁忌女帝师尊,我无敌了! 强化子嗣:我后代遍布修仙界 人在斗罗开局加入聊天群 长生修仙:每百年一种神级奖励 我有一个万物空间,还能自动修练 悟性满级:剑阁观剑六十年 仙侠,我有机缘交换系统 百族入侵,我冰帝的身份瞒不住了 吞噬星空之氪金系统 苟到天帝的我,被女帝老婆曝光了! 
最近更新玄幻:挂我来开,罪你来受 穿越三国,我得系统不靠谱 天赋掠夺:我以武道身化大日 从无名小卒到玄幻霸主 历史时空多元宇宙 异世战争我直接机械降神 都快成仙了才拉我进穿越萌新群? 全民宗主:我一天一个礼包成仙帝 盗天骨 史界上最强的练气者 被神偏爱的公爵大人异世再续荣耀 最强大千系统 吞噬大帝尸体之后,我无敌了! 开局召唤袁天罡,我竟是幕后黑手 小小少年一路成长任逍遥 我功德无量,娘子是妖又何妨 阴阳同存 玄幻,我觉醒了情绪系统 被污蔑当天,反手编辑大帝背景! 异世龙蛇 
深红基金会 死亡法庭灭霸 - 深红基金会txt下载 - 深红基金会最新章节 - 深红基金会全文阅读 - 好看的玄幻小说