广义G模型的可构造性宇宙L: 终极骗局 (10-6)

Iγ∞= P(R)∩L(γ∞，R)

那么公理V =终极-L就是假的。

所以有可能推广斯科特定理

公理V =终极-L。

是否有一个潜在的途径来证明没有

斯科特定理到公理的推广

V =终极-L？

终极L猜想

终极L猜想　

(ZFC)假设δ是可扩基数。然后(可证明地)

有一个传递类N，使得:

1.n是δ是超紧的弱扩张模型。

2.N = "V = Ultimate-L "。

终极L猜想意味着没有一般化

斯科特定理到V =极限-L的情形。

我通过普遍性定理。

终极L猜想是一个数论陈述

如果它是一个存在陈述，那么如果它是不可判定的，那么它一定是存在的假的。因此:

I它要么是真的，要么是假的(它不可能是无意义的)。

我就是喜欢霍德猜想。

终极L猜想暗示了一个稍弱的版本

霍德猜想。

周二讲座的摘要

从大的基本假设出发，有一系列定理

这表明:

I V = L的某个版本为真。

此外:

这些定理变得比大基数大得多

假设增加。

大基数是v结构的放大器。

基于这一主题的自然推测

人们应该能够用一些基本公理来扩充大的基本公理

V = Ultimate-L的简单结果实际上

我恢复了V =极限-L，

我为一个论点奠定了基础

V =终极-L为真。

紧密嵌入和有限生成模型

定义

假设M，N是传递集，M = ZFC，并且

π : M → N

是初等嵌入。那么π接近于M，如果对于每个

X ∈ M和每个α ∈ π(X)，

{Z ∈ P(X) ∩ M α ∈ π(Z)} ∈ M。

定义

假设N是传递集，使得

n = ZFC+“V =荷德”。

那么N是有限生成的，如果存在一个∈N，使得每个

N的元素可由α定义。

为什么是紧密嵌入？

引理

假设M，N是传递集，

M = ZFC + “V =小时”，

并且M是有限生成的。

我想

I π0 : M → N

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