猪猪小说网

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

第76章 人物志璃梦(第2页)

2在一些与惠普相关的工作中,已经表明惠普的策略与关于V的各种本体论立场是一致的([Antosetal.,2015],

[BartonandFriedman,2017]).

特尔努洛·德切利加

TheV-logicMultiverse

给定V和V的a(宽度)延伸W,V和W在我们的理论中应该是‘标准的’(不需要的解释应该被排除)。

通过“标准”推理,每当我们有W|=?,对于一些W|=T,其中w是v的外部模型,t是我们的“基础理论”,那么我们的公理应该能够陈述w是多元宇宙的一员。

这章没有结束,请点击下一页继续阅读!

设Lκ,λ是无限语言(λ<κ),允许形成:

1.长度<κ的合取和析取

2.<λ个变量的量化

无限逻辑比一阶逻辑有更强的表达能力。使用这样的逻辑之一将确保满足约束1:“V的宽度延伸”的表示将排除“不想要的”解释。

v逻辑是无限逻辑Lκ+,ω,即一阶逻辑,增加了:

1.<κ+个变量和常数(每个a∈V一个),其中κ是任意基数>ω

2.<ω量词

3.一个特殊的常数V,表示地面宇宙

4.一个特殊的常数W,表示地面宇宙的一般外部模型

5.长度小于κ+的无限合取和析取

我们知道证明可以用集合来编码。在V-逻辑中,证明是由Hyp(V)中的集合编码的,这是V之后最不允许的集合。

M上的容许集是KPU的模型AM,其形式为

AM=(M;一,∈,...).M上的纯容许集是容许集,M没有u元素(A集合As.t.KP|=A)。

M上的最小容许集(记为HypM)是M上所有容许集的交集(并且等价于可构造论域的第α级Lα,其中α是M上最小容许序数)。

因此,在V-逻辑中,Hyp(V)(以下简称V+)只是一些Lα(V)。

V-logic中的证明代码在V+中。

现在,假设我们想要断言存在一个‘宇宙’W,一个V的宽度延伸。

我们从句法上进行:这样一个世界的存在等价于以下一致性陈述的证明:

Con(T+?)

其中t是我们的基础理论(BST),?=w的w性质。

|=ψ”,而ψ是一些对于每一个扩张v并定义性质ψ的世界w,我们在V+中有一个?=Con(T+ψ)的证明码。

属性ψ可以这样选择,以便表达所讨论的模型的某些相关特征。

(例如,对于W是基论域的集泛扩张,我们可以将W刻画为‘包含V上的P-泛滤子G并满足ψ’)。

对于每一个扩张v并定义性质ψ的世界w,我们在V+中有一个?=Con(T+ψ)的证明码。

特别是,我们可能有:

集合-类属扩展(W是s.t.W包含一个P-类属G超过V并满足ψ’)

1.类通用扩展(如上,有一些修改)

2.超类-泛型扩展(同上)

3.V的各种强制扩张

4.1中定义的所有模型的内部模型。-4

高武,开局获得一个修仙世界  官家天下卫江南高研全集  卫宁在宝莲灯前传搞事业  至尊崛起:从被炼神塔认主开始  坏种,勿近  四合院:开局8岁,打爆两架飞机  白月光好,你哭着求我复合干嘛  神算小仙女  嘎嘎乱杀,娘娘她是黑莲花  宿傩,抱歉,没能让宇智波大人尽  结婚当天我拒绝了临时加彩礼之后  小雄虫钓我的日日夜夜  终极一家:星星降临  十平米小岛生存:我能扫描一切!  末世重生:大佬从百万囤货开始  盗墓vs长生  穿书反派:主角替我寻机缘!  凤女初鸣  让你做炉鼎,你把师尊拿下了?  穿越古代混饱饭  

热门小说推荐
路过漫威的骑士

路过漫威的骑士

新书迪迦的传说,求收藏推荐点击书友群306690956,欢迎加群吐槽VIP群931464421(三本书任意一本粉丝值达到两千,截图找管理入群。)你有快银的速度,我有Faiz的加速你有女巫的魔法,我有Wizard的戒指你有雷神的锤子,我有AgitΩ的神之力拿着Decade的驱动器,格瑞尔...

神坑空间:邪王爆宠小农女

神坑空间:邪王爆宠小农女

神坑空间邪王爆宠小农女由作者景肥肥创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供神坑空间邪王爆宠小农女全文无弹窗的纯文字在线阅读。...

娇妃路子野,要宠!

娇妃路子野,要宠!

书海阁小说网免费提供作者想Peach的经典小说娇妃路子野,要宠!最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说被自己夫君亲手推下高楼,还被人嘲讽蠢货。再睁眼,回到了七年前。所有不甘,遗憾她都有机会重来。然而却招惹上了不能惹的人。一开始公子,春宵一度可好?某王爷就你这模样,还是免了吧。后来却娘子,求你今天也怜爱我。某王妃勾唇冷笑夫君这模样,还是免了吧。...

神之塔印

神之塔印

作者酒无梦的经典小说神之塔印最新章节全文阅读服务本站更新及时无弹窗广告小说神之大陆,剑与魔法。诸天神塔,登顶封神。重生异世大陆,白叶觉醒了圣印,别人觉醒的圣印能力不是各种兵器就是魔兽战甲,可到了白叶这里竟然只是一把手术刀,不过手术刀又如何,且看白叶如何凭借一把手术刀一路高歌猛进踏上神塔之巅。...

重生之杀意滔天

重生之杀意滔天

一千年前,白启死后落入了实力为尊的地元界,经由千年纵横,成就了杀神之名,但他却难以忘却父母亲情,不惜生死穿越千年,回到了地球,这一世,他当十步杀一人,千里不留行,屠尽世间敌。...

每日热搜小说推荐