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

STEEL计划:证据框架 核心与终极-L (12-6)

2.2号提案。MVT公理暗示多元宇宙是其每个世界的同构类强制扩展。

证据由于MG模型为MVT提供了完整的语义,我们可以假设MVT的每个模型都是这种形式。现在,在上面的MG模型中工作,让W成为一个世界。因此W是形式为M[Gα]的模型的基,对于一些α∈Ord M。

设P∈W是一个偏序集,使得对于W上的某个H0P-泛型,W[H0]=M[Gα] 设κ≥α是不可数的W[H0]-基数,使得P的基数,如在W中计算的,小于κ。设H1为Coll(,<κ+1)/Gα-泛型上使得M[Gα][H1]=M[Gκ+1]。因此,W[H0][H1]=M[Gκ+1]是由基数κ的偏序集对W的一般扩展,该偏序集将κ折叠为,因此通过Kripke定理[13,引理26.7]等价于Coll(,κ)。由于Coll(,κ)是同质的,命题随之而来。

MVT公理的以下直接结果断言

集合强制一个世界的泛型扩展也是一个世界。

2.3号提案。MVT公理表明,如果W是一个世界,G是P-泛型对于某个偏序集P∈W,则W[G]也是一个世界。

证据假设W是一个世界,G在W上是P-一般的,对于某个偏序集P∈W。

利用公理3,设W是一个G∈W的世界。通过合并(Axiom6),设W是这样一个世界,使得W和W都是W的基。作为W⊆W[G]\8838W,W的强制延伸W[G]也是W的地。

因此,由于世界的每一个地面也是一个世界(Axiom 5),因此W[G]是一个世界,如

受编辑的

2.4.MG及其翻译功能。如第1.1节所述概念建立在一个关键的事实上,即MV的语言,LMV,可以被视为L∈。为了说明这一点,Steel定义了一个递归转换函数t从LMV到L∈,使得:MVT当且仅当T(ξ),(Transl)

如前所述,其中T是ZFC+LC。翻译功能可能会呈现得更多根据MV的语义透明地如下:

定理2.4(平移函数)。对于LMV的任何句子,每个可数模型ZFC的M和M上的每个G Coll(,<Ord M)-泛型

MG |=iff

M|=t(ξ)。

(Transl)

应该注意的是,在MV的特定语义存在的情况下t(ξ)断言“在从我那里获得的所有多元宇宙中,Γ都是真的”。31等价地,“Γ是真的从我那里得到的多元宇宙。现在,如前所述(第2.3节),合并是需要证明模型MG为MVT提供了完整的语义。

§3.MV的核心。在本节中,我们将一方面展示“核心假设”出现在MV公理的背景下,特别是它是如何产生的数学证明;这将帮助我们回答以下问题:

问题3.1。核心在什么情况下可以定义,如何定义?

另一方面,我们将展示为什么Usuba的结果(定理3.5)暗示MVT,其中T=ZFC+“存在一类适当的可扩展基数”,证明了存在一个核心宇宙。

然而,在继续审查所有这些结果之前,我们解决了“核心在ZFC的背景下的“假设”,并回顾相关的集合论地质学对假设有意义的概念和定理,有助于在第4节中介绍我们自己的结果。

3.1.前奏曲:ZFC的(外)核心。由Reitz和Hamkins发起。

多年前,集合论地质学提出了一种非常创新的方法

下面是对其基本概念。

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

相关小说

重生末日搞副本的我 连载中
重生末日搞副本的我
记橘栀
那个世界后,哼哼回到记橘身边。重生末日副本世界,记橘来做恐怖无限流副本的幕后大boss江兎:“女孩子怎么了,不喜欢我吗”陆境:“是你先来吸引......
2.1万字9个月前
油爹的自我介绍 连载中
油爹的自我介绍
油条是你爹
0.0万字8个月前
快穿之公爵的惹人怜爱小公主 连载中
快穿之公爵的惹人怜爱小公主
无枫清亦
5.7已签约快穿到各个时间动漫,同人小说同人漫画,电视剧,穿越当女主,一起来体验剧情!跟薔薇小公女漫画的同人小说!如果想要花和妖精的东西,那......
26.1万字8个月前
史前文明:这个杀手有点冷 连载中
史前文明:这个杀手有点冷
凌婉莹
腹黑冷酷杀手×痞帅商会老大。第一次相遇,是因为她想看看,那么多人想杀的人,到底是什么样子。而他一见到她,就认定,她以后,只能是他的。可是,一......
28.5万字8个月前
EXO之出门左拐撞见命定 连载中
EXO之出门左拐撞见命定
Over♚again*
『点亮会员或者打赏金币50个加更哦!✨✨✨已签约,纯属虚构,勿上升明星』男友出租屋不同的男友供你选择,5对男女所发生的爱情小甜宠的故事女主一......
10.2万字8个月前
废材修练之旅 连载中
废材修练之旅
柒染QR
女主重生异世竟是废才之身,身为凤族唯一的嫡系五小姐,却被抛弃后院,任人欺凌。  一日,因为他的出现,让她魔武掘起,靡傲无下;使之绝世独立倾国......
7.5万字8个月前