数学联邦政治世界观
超小超大

V-Logic (7-5)

更一般的,对于任意两个n-元组(ωi1,ωi2,ωi3...),(ωj1,ωj2,ωj3...),以及任意两个n元递增序列(i1<i2<i3...<in),(j1<j2<j3...<jn),都有(ωj1,ωj2,ωj3...)和(ωi1,ωi2,ωi3...)满足相同的,带ωi1∩ωj1中参数的一阶句子

  

3.高阶不可辨认性:

借鉴亚紧致基数的模式,对于任意位于初等链上的秩ki,kj,用H(ki+)^V与H(kj+)^V满足相同的一阶语句来模拟Vki与Vkj满足相同的二阶语句,考虑带参数的情况,由于ki在H(ki+)中的最大基数地位在H(kj+)中不再保持,正确的带参形式应该是如下的形式:

  

H(ki+)满足φ(ki)当且仅当H(kj+)满足kj,且存在非平凡初等嵌入j:H(ki+)→H(kj+),且j(ki)=kj 

  

高阶不可辨认性在如下意义上得到了“外宇宙链”的支持:

  

从H(ki+^α)到H(kj+^α)的嵌入不需要在V中,只需要在“真宇宙”中存在即可

  

4.高阶强不可辨认链:

  

考虑两个由诸宇宙组成并允许高阶参数的结构:

  

Wi=<H(ki0+^α),H(ki1+^α),H(ki2+^α)...>,

  

Wj=<H(kj0+^α),H(kj1+^α),H(kj2+^α)...>,以及任意两个n元递增序列(i1<i2<i3...<in),(j1<j2<j3...<jn),总有非平凡初等嵌入j:ωi→ωj,且可以带任意通过初等嵌入“对应”的参数

  

也即是,ωi和ωj满足相同的一阶句子,这等价于两个由宇宙组成的结构满足相同的α阶句子,且带任意通过初等嵌入得到的参数

  

考虑将语言扩展到更高阶的情况,若语言允许将H(k+^α)视为参数,则得到由宇宙间聚合组成的二重聚合结构之间的正确链,同理,这样的反射可以像任意阶扩展

  

不可辨认反射中介更少,更直接,并且支持宇宙间关系反射,注意到超宇宙反射需要以On为中介进行多次反射才能将宇宙内的k发送到外宇宙序数Ω,而不可辨认/sharp反射允许将任意有限参数,以及宇宙本身作为参数的句子φ(V*,x1*,x2*...xn*)反射回V中,得到形如φ(Vk,x1,x2,x3...xn)←→φ(V*,x1*,x2*...xn*)的反射结果,也即,存在非平凡初等嵌入(这个嵌入不需要在V中或V*中)j:V→V*,cr(j)=k,且j(k)=k*,任意x∈V,都有j(x)=x*

  

5.不可辨认生成

  

称宇宙V是不可辨认生成的,当且仅当:

  

1.有一个长度为 On的连续序列κ0<κ1<...,使得κOn=On,并且有换元初等嵌入πi,j:V→V,其中πi,j有临界点κi且π(κi)=κj

  

2.对于任何 i≤j,V的任何元素在V中都可以被πi,j值域中的元素和{κ∗:i≤∗<j}内的元素一阶定义

  

6.#-生成

  

称一个结构(N,U)是一个sharp,当且仅当:

  

1.N是一个弱ZFC模型(ZFC-pow,替换公理可以换成收集公理),且存在最大基数k,且k是一个强不可达基数——允许存在这样一种情况,对于任意α<k,P(α)∈N,但是对k本身则有P(k)∉N

  

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

蓝天画的冷漠 连载中
蓝天画的冷漠
浅心夏
[情之所绊,心之所想,浅夏之歌,唯爱再受]她蓝天画(莫灵画)三年再次见面,却变得冷漠无情,他东方末三年再次见面,他爱上了别人,他洛小熠三年之......
3.1万字9个月前
凤逐凌云志 连载中
凤逐凌云志
漓筑
三千流水觞觞,却只记得一个回眸,只言片语,一世别离。世有凌云山,司九辰上神之徒竹墨染下山历练,究竟是缘是劫。烛凌风:“我说过救了我,你会后悔......
30.8万字9个月前
穿越后的收徒计划 连载中
穿越后的收徒计划
苏倾璃
5.22完成签约又名:穿越后我无敌了[Painkiller]不定期更新女主无敌的存在,女扮男装,而且男主重生,不喜欢的请绕道她小时候是个孤儿......
15.4万字9个月前
灵契之落月忆如梦 连载中
灵契之落月忆如梦
江秋月dong
端木落月雪地里躺着一个人,快抱回去!侍卫是,大人!端木落月看着外面的雪,眼中多了份伤愁,满头白发,随风飘动那紫色的瞳孔是那么好看杨宁醒来,看......
1.0万字9个月前
末世重生之至尊女王 连载中
末世重生之至尊女王
风亿星辰
(作者中二时期黑历史慎入)末世军区第一女元帅带异能重生回一千年前末世之前,得到神器。本书女主金手指特大!可以说是金小人了!可能上是本人最近看......
6.9万字9个月前
魔法元素之战 连载中
魔法元素之战
吉良玖柒
焰真是一个平淡无奇的初中生,因为一次偶然的机会,遇到了来自魔法世界的丽雅,丽雅作为魔法大使,来到人类世界寻找适合守护地球的元素战士,焰真就是......
4.1万字9个月前