猪猪小说网

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

第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

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

热门小说推荐
异世药皇

异世药皇

万祥,患有先天绝脉就连走路都累的喘气的家伙,却是武林中人人畏惧的用毒行家生死阎王!因眼馋唐门绝学五毒真经,成功后,却不幸流落异世。为了能在异世继续自己的巅峰之旅,他按照五毒真经上的记载,把自己练成了毒体。毒体,一个随着情绪可以释放七种不同毒气的逆天之体。比如在动情时,他就会释放一种嗯?这样的毒体,究竟给他和异界带来什么样的变化和冲击?且看,小夜为大家呈现一个什么武功到他手中都会变异的家伙,在异界的巅峰之旅!↓〖08年极限速度流武夜最疯狂的18X工口小说异世药皇全解析!?〗↑武夜书友会一群3984214武夜书友会二群36646419武夜书友会三群44751756武夜起点VIP读者群41318342...

风姿物语

风姿物语

暴风的前兆,即将撼动整个风之大陆!场内幕重重的婚礼,引来各方人士觊觎,令暹罗城成为七大宗门明争暗斗的角力场。胸怀大志的兰斯洛剑术卓绝的花次郎神秘多智的鸿五郎和混水摸鱼的天地有雪,乘着这股暗流,或有意,或无心,在因缘际下齐聚暹罗,共同掀起冲击风之大陆的滔天巨浪。被后世史家冠上我意王尊称的男子,兰斯洛,在风之大陆史上留下无数丰功伟业,他的王座在鲜血与火焰中闪烁生光。异世界奇幻冒险钜作,兰斯洛王传奇故事,正式从这里展开!藏书前传—太阳篇月亮篇星星篇陨星篇银河篇外传—梅之卷黑姑娘爱菱篇鸣...

爸爸去哪儿了

爸爸去哪儿了

离了婚的孙吴本以为自己会孤独又潇洒的活一辈子,直到有一天他在街上偶然遇到了前妻,在她旁边还有一个十分可爱的小女孩。于是...

前夜

前夜

那一天,是整个世界湮灭的开端。那场灾难席卷了整个人类,不管你原来是高官,还是巨富,名流精英或者军人警察公务员,或者民工蚁族,这些都不重要了。重要的是,即使你侥幸活下来,也不代表你能活下去。当然,只要能活下去,你就是传奇。所以,这是文明湮灭的前夜。也是传奇诞生的前夜。...

你是人间星火

你是人间星火

乔南和梁非城的爱情角逐就是我爱你的时候,你想杀了我,我不爱你的时候,你偏偏缠着我。三年前,乔南被迫顶罪,留在梁非城身边赎罪。她被夺去自由,囚禁在梁公馆成为最下等的佣人。乔南以为能争取到自由的那一天,可转身就是梁非城将她送进疯人院。铺天盖地是他要和别的女人订婚的消息。大雨倾盆,乔南抱着死去的亲人,心死如灰...

最强奶爸

最强奶爸

忽然多出好多女儿怎么办?在线等,很急!什么?我还要给你们找妈?!...

每日热搜小说推荐