小说妹妹网

手机浏览器扫描二维码访问

第321章 续写3(第2页)

脱殊复宇宙:

令m为ZFc的可数传递模型,则由m生成的脱殊复宇宙V?为满是以下条件的最小模型类:

1m∈V?

2如果N∈V?,而N’=N[G]是N的脱殊扩张,则N’∈V?

3如果N∈V?,而N=N’[G]是N’的脱殊扩张,则N’∈V?

简单说,V?是包含m并且对脱殊扩张和脱殊收缩封闭的最小模型类。

如果集合论多宇宙是由集合论的每个宇宙,在脱殊扩张以及脱殊refinements(给定的集合论宇宙是脱殊扩张的一个集合论宇宙的内模型)下封闭而产生的,那么它就是脱殊复宇宙。也就是说,脱殊复宇宙拥有所有的脱殊扩张形式的冯·诺依曼宇宙。

脱殊扩张V(V[G]):

脱殊扩张说的是包含V可定义的偏序集p,p上面有一个滤子称之为脱殊滤子G,然后通过把G加到V中来产生一个新的结构,V的脱殊扩张V[G]作为一个ZFc的模型。

复复宇宙:

存在一个复宇宙.并且对任意复宇宙m,存在一个复宇宙N以及N中的一个ZFc模型N,使得在N看来,m是一个由可数的非良基的ZFc模型组成的复宇宙。

就像复宇宙公理对复宇宙的描绘,其中的集合论宇宙没有哪个是特别的,对任何集合论宇宙都存在着“更好的”宇宙能看到前者的局限性,复复宇宙公理表达的是每个复宇宙也都不是特别的,并且总存在着“更发达的”复宇宙,在它们看来前者只是一个“玩具”复宇宙于是我们可以继续,得到复复复宇宙等……

逻辑多元:

V-逻辑(V-logic),V-逻辑具有以下的常元符号:

a?表示V的每一个集合aV?表示宇宙全体集合容器V

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

?b,b∈a,Ψ(b?)├?x∈a?,Ψ(x)?a,b∈V,Ψ(a?)├?x∈v?,Ψ(x)

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

我们增加以下新公理。

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

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

因此,现在当我们采取一个遵守V-逻辑规则的公理模型时,我们会得到一个模拟ZFc(或至少是Kp)的宇宙,其中V?被正确地解释为V,w?被解释为V的外模型。请注意,V-逻辑中的这一理论是在没有“加厚”V的情况下提出的,实际上它是在V+=La(V)内定义的。由于我们采用了高度(而不是宽度)潜在主义,后者又是有意义的。最终我们可以用V-逻辑将Imh转写为以下形式:假设p是一个一阶句子,上述理论连同公理“w?满足p”在V-逻辑中是一致的。那么p在V的一个内模型中成立。

最终我们成功避免了直接谈论V的“增厚”(即“外模型”),而是谈论用V-逻辑制定的理论的一致性,并在V+中定义使得满足宽度潜在主义。在可数模型上,宽度完成主义和激进潜在主义是等效的。通过V-逻辑,我们可以得到V+(V-逻辑+ZFc的模型)也就是逻辑多元,V-逻辑足够广泛,可以包含各种外部。与超宇宙的概念相反,V-逻辑不能化简为可数传递模型的集合,因为V不需要被认为是可数的。以后我们或许得到V*(任一一致的逻辑+ZFc的模型)这种东西……

[综漫同人]万火回一  朕见臣妻多妩媚  傲龙炙心  无限世界亿万倍增幅  我靠种田称霸星际  冥主  不期而遇的温暖  穿书了,人设绿茶白莲花?  综影视开局捡了一个神搭档  候鸟之歌  黑道颠峰  迷糊厨娘  夜行  林慢慢的修仙记  不懂爱,愿意陪你。  娇女求爱  权利之上【NP】  紫炎神皇  ABO-过街老鼠  小说大乱斗  

热门小说推荐
宗师巨星

宗师巨星

宗师是怎样炼成的?从无限世界成功完成任务的宗仕,因为无限世界系统发生错误的缘故,被传送回了一个平行世界,变成了一个名字叫宗师的人。为了弥补犯下的错误,无限世界的系统给予了宗师一套随身系统,内含十大技能书和相关道具。只要达到了开启条件,那么这套系统就可以将宗师在无限世界中获得的奖励兑换到这个世界中来。最终,他成为了宗...

快穿:黑化男神,撩一送一!

快穿:黑化男神,撩一送一!

宠文1V1安晚,天地间仅存的一条无心远古神龙。为报恩穿越不同世界,帮助各种男神逆天改命,走上人生巅峰。系统我是让你来报恩,来拯救男神帮他走上人生巅峰的,不是让你和他谈恋爱的。安晚理直气壮道人生巅峰不就是事业爱情双丰收。我不和他谈恋爱,他怎么收获爱情?系统好气哦!!!╯‵□′╯︵┻━┻...

英雄联盟之我若为王

英雄联盟之我若为王

林宇,一个高中生男孩,以七十场的连胜战绩,上王者。被电一众多王者称为勾魂使者,可人们只知道他精通辅助,却不知他是一个真正的中路杀神。在一次偶然的机会下他出现在众多世界强者的眼前,让世人为之惊叹。这是一个青春不悔的故事,在这里有着与众不同的人生,英雄联盟之我若为王!建了一个粉丝群,有兴趣的粉丝可以加入。欢迎加入我若为王,群号码310261048...

缺德皇帝,妃常萌

缺德皇帝,妃常萌

她,女采花贼,四处偷心到处燃情,却不负责灭火,缺德到家!他,七情不动,六欲皆无,是皇帝,是和尚,还他妈的兼职是她师傅,更狗血的是她男人。因为误会两人春风一度,不但有了孩子,还顺便帮他这个史上唯一带发修行的皇帝解决了子嗣问题,可两人非但没有擦出火花,到是把仇擦出来了!他不待见她,非要给她找个男人嫁了,可当她乖乖听话嫁人了,谁来告诉她为什么洞房的还是他?尼玛,有人像他这么缺德站着别人的茅坑还拉屎的吗!N年前师徒节奏他逼着她嫁人,别的师傅都教徒弟轻功剑法,他却教她女红女戒打坐金刚经地藏经以及各种发神经!她卧槽一声,当着说成的准夫君来了句师傅,难怪你教我地藏经,原来是用来超度我未来夫君的啊板上钉钉的婚事吹了,某师傅某天,她揉着快散架的腰直奔寺庙,某男追来问做什么?你个长头发的秃驴,我惹不起还躲不起吗?当然是出家!某人扬眉浅笑,朕不准!...

凤倾天下:王爷等你来战

凤倾天下:王爷等你来战

求求你放过我吧,我们本就不是同路人。她的脸上带着祈求。可是他却狠狠的回道叶安然,你这辈子都休想离开瑞安王府,你记住,就是死了你的墓碑上也要刻着瑞安王妃。她绝望的闭上眼睛,掉下一滴屈辱的眼泪很久以后,当他们再一次巅峰对决,身份却已俨然不同。她头戴九凤金冠高高在上对他魅惑一笑王爷别来无恙。他脸色阴沉紧握拳头...

风水尸

风水尸

她是赫赫有名的警界之花,天使面容魔鬼身材,然而却被同僚当成是一尊好看而无用的花瓶。在一次杀人案件中,她们队成功抓获了一名变态杀人魔,可是受害人的尸体却怎么也找不出来他是吊儿郎当的风水师,经常口不择言,举止荒唐。然而深藏在这荒诞之下的高深莫测又有几人能识破?当严肃的警界之花遇上了看似浪荡的风水师,又将上演怎样一场你追我赶的戏码!(本文纯属瞎诌,请勿模仿!)...

每日热搜小说推荐