深红基金会

死亡法庭灭霸

首页 >> 深红基金会 >> 深红基金会最新章节(目录)
大家在看我的法宝都是规则系 帝御无疆 灭族之夜,大帝的我被后人召唤 镇守仙秦:地牢吞妖六十年 乱世书 女儿大闹修仙界,我仙帝身份曝光 多子多福:他儿子太多了 晚年被老婆分手,系统终于来了 丹武双绝 万古之王 
深红基金会 死亡法庭灭霸 - 深红基金会全文阅读 - 深红基金会txt下载 - 深红基金会最新章节 - 好看的玄幻小说

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

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

这等价于#-生成。以后也用#-生成来称呼该公理。

#-生成意味着所有与V=L兼容的反射形式。如果0#存在,那么#-生成一致。因此,作者认为#-生成表达了最强的高度反射原理,因此可以合理地声称#-生成是表达V的高度最大化的最佳原则。

#-生成并不满足宽度完成主义:为了得到一个足以生成V的#-生成,我们必须要构造一个Rank小于Ord(V)的不属于V的集合。为了解决这个问题,引出了弱#-生成。

内模型假设(IMH, Inner Model Hypothesis):

·如果一个一阶句子在V的某个外模型中成立,那么它在V的某个内模型中也成立。

在这个版本的表述中,我们可以把外模型理解为一个包含V的、与V的序数相同的、满足ZFC的传递集合V* ,内模型是指一个V的可定义子类,其序数与V相同,并且满足ZFC。根据激进潜在主义,ZFC的任何传递模型在更大的这类模型中是可数的,由此我们可以推断出V的丰富的外模型的存在。

IMH是一个非常“魔怔”的模型,它的一致性可以从PD(投影决定性),也就是ω个Woodin基数得出;但如此强力的模型之内却并不含有不可达基数。

IMH不满足宽度完成主义,为了实现宽度完成主义,接下来会转移到V-逻辑上。

V-逻辑(V-logic):

V-逻辑具有以下的常元符号:

1.表示V的每一个集合a

2. Vˉ 表示宇宙全体集合容器V

在一阶逻辑的推理规则上添加以下规则:

1.?b,b∈a,ψ(bˉ)??x∈aˉ,ψ(x)

2.?a,b∈V,ψ(aˉ)??x∈Vˉ,ψ(x)

作为宽度完成主义者,我们不能直接谈论外模型,甚至不能谈论不属于V的集合。然而,使用V-逻辑,我们可以间接地谈论它们。考虑V-逻辑中的理论,我们不仅有表示V的元素的常元符号 aˉ 和表示V本身的常元符号 Vˉ ,而且还有一个常元符号 Wˉ 来表示V的 "外模型"。

类似于力迫法的发明路程,一个同时接受柏拉图主义和高度完成主义的人也会遇到类似的问题。

我们增加以下新公理。

1. 宇宙V是ZFC(或至少是KP,可接受性理论)的一个模型。

2. Wˉ 是ZFC的一个传递模型,包含 Vˉ 作为子集,并且与V有相同的序数。

因此,现在当我们采取一个遵守V-逻辑规则的公理模型时,我们会得到一个模拟ZFC(或至少是KP)的宇宙,其中 Vˉ 被正确地解释为V, Wˉ 被解释为V的外模型。请注意,V-逻辑中的这一理论是在没有“加厚”V的情况下提出的,实际上它是在 V+=Lα(V) 内定义的。由于我们采用了高度(而不是宽度)潜在主义,后者又是有意义的。

最终我们可以用V-逻辑将IMH转写为以下形式:

·假设P是一个一阶句子,上述理论连同公理“ Wˉ 满足P”在V-逻辑中是一致的。那么P在V的一个内模型中成立。

最终我们成功避免了直接谈论V的“增厚”(即“外模型”),而是谈论用V-逻辑制定的理论的一致性,并在 V+ 中定义使得满足宽度潜在主义。

在可数模型上,宽度完成主义和激进潜在主义是等效的。

最终,我们结合IMH和#-生成,便得到了满足激进潜在主义的宽度/高度最大化的形式系统。当然,理论上还能更进一步的增强这些公理。在这里将这些公理命名为H公理,它们展现了玄宇宙 H的最大化性质。

强内模型假设(SIMH, Strong IMH):

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

该公理同样可以使用PD获得一致性证明。

全知(Omniscient):

塔斯基真不可定义也可以改写成以下的定理:

在V中成立的带参数句子的集合在V中是不可被一阶定义的。

但V的外模型理论,OMT(V),是可以通过V-逻辑被 V+ 定义的。甚至于存在许多V,OMT(V)是在V上是一阶可定义的。这样的V被称之为全知。

拉姆齐基数可以给出“ Vκ[G] 是全知的模型”的一致性。“V是全知的”和#-生成之间配合得相当好。

玄宇宙计划的可能推论(未被证明一致):

弱#-生成:

·预-#是一个结构(N, U),其中U在最大基数k上测度了N的子集,并且对于任意序数α,(N, U)的α步超幂迭代依旧是良基的。

小主,这个章节后面还有哦,请点击下一页继续阅读,后面更精彩!

上一页目 录下一页存书签
站内强推攀高枝 剑来 灯花笑 诸神愚戏 深海余烬 八岁小娃,搬空渣爹库房跟着外祖一家去流放 全民巨鱼求生:我能听到巨鱼心声 从水猴子开始成神 我本无意成仙 执魔 万古第一废材 全球觉醒:只有我提前布局未来 谁家宠妾不作死啊 摆脱生子系统后她成了兽世主宰 御兽时代,我开局神级天赋 天兽鼎 星辰大道 上午毁我丹田,下午在你坟前烧纸 官路之谁与争锋 赶海:开局一把沙铲承包整个沙滩 
经典收藏老祖别苟了,宇宙要没了 穿越后系统给双修功法什么意思? 强化子嗣,我的后代都是仙界大佬 修仙家族:灵石加成系统 开局混沌剑体,打造不朽仙族 凭借属性面板,我肝成了修真大佬 哥布林从剑之圣女开始 开局不朽大帝,只手覆灭禁区 修仙:我真没想当舔狗! 强化子嗣:我后代遍布修仙界 人在斗罗开局加入聊天群 八岁开始模拟的我觉醒重瞳 天材地宝杂质太多?让我提纯一下 长生修仙:每百年一种神级奖励 我有一个万物空间,还能自动修练 仙侠,我有机缘交换系统 百族入侵,我冰帝的身份瞒不住了 玄幻:多子多福就变强?给我生! 苟到天帝的我,被女帝老婆曝光了! 镇守仙秦:地牢吞妖六十年 
最近更新玄幻:挂我来开,罪你来受 穿越三国,我得系统不靠谱 天赋掠夺:我以武道身化大日 从无名小卒到玄幻霸主 剑心不灭,无敌之路的坚守 我以修道镇万界 三星堆传奇:穿越古蜀的探秘之旅 穿越,我在花果山当砍神! 历史时空多元宇宙 我在修仙界当掌门 诞下哥布林我把它炼成分身 特种兵王穿越洪荒 无限之我只是一个普通人 我丢,没看过小说的老婆得到系统 九嶷焚天诀 时砂溯神记 系统:迟到百年,你登顶了? 洪荒:悟性逆天,我带领人族崛起 重生反派特别狠,颠覆女主认知! 开局长生万古,天道求我别搞事 
深红基金会 死亡法庭灭霸 - 深红基金会txt下载 - 深红基金会最新章节 - 深红基金会全文阅读 - 好看的玄幻小说