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

数学

对于原始问题:“(以公理模式/无穷条语句来规定存在的)完全稳定序数的一致性强度是否高于ZFC?” 答案也是否定的ZFC和ZFC+ α 是完全稳定序数的一致性强度一样。

类似地,以无穷条语句来规定满足Vα ≺ V 的 α 也是跟ZFC等一致,理由也差不多:对语言加入常元 ·α ,对ZFC加入如下语句集 {(∀x∈Vα)(Vα╞ φ(x) ↔ φ(x))│φ是公式} ,得到的理论如果一致,那么ZFC作为它的子集也一致;如果ZFC一致,那么这个理论的每个有穷子集也都是一致的(根据反射定理,L的情况也类似),所以得到的理论也一致。当然,这跟哥德尔第二不完备定理并不矛盾,因为我们只能单个语句单个语句地证明 Vα╞ φ ,而不能证明“对于任意ZFC的语句 φ , Vα╞ φ ”这样的一句定理。

满足Vα ≺ V 的 α 通常被称作“正确基数(correct cardinal)”,不过一些文献中会额外要求正确基数为强不可达的。这类基数因为并不带来一致性强度的增强,并且实际上仅仅是对熟悉的集合论内容( Σₙ 稳定/正确基数的存在)抹了一层语法糖,所以并没有特别受到文献的关注。

至于以无穷条语句来规定存在的“ZFC的可数传递模型”,即题主的ZFC+ZFCᶜ ,除了能为力迫法提供一种解释之外,也偶尔在范畴论的集合论基础中得到一些应用,主要也是在不增加一致性强度的前提下,让我们能够(还是以语法糖的方式)自由地讨论大小范畴/Universe之类的话题。例如Feferman就曾经提出过类似地方案来为范畴论奠基(所以在一些资料里形如题主的 ZFC+ZFCᶜ、或者开头中“ZFC+完全正确基数存在(公理模式)”这样的理论偶尔会被称为Feferman theory)。

虽然V的真谓词根据塔斯基不可定义定理无法被表达,但是在一些情况下,L的真谓词是可以被表达的,例如说假设0# 存在,那么 L 的真谓词就能被一个集合论公式表达,而且也的确存在真类那么多的 α 满足(字面意义上的) Lα ≺ L

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

御妖诀 连载中
御妖诀
月无年
“苏荼…你骗的本王好苦啊…”他等了她三万年,换来的,只是一副空壳罢了。那个曾经爱笑的苏荼,如今变成了杀人的刀。在面对君临御的时候,你的剑也会......
6.3万字5个月前
垃圾小短文合集 连载中
垃圾小短文合集
一一默rycidxy
所有内容都为言情。这一本是黑历史。我自己写的一些篇章和和别人一起写的一些篇章,会汇集到这本书里。类型多样,风格多样。
2.1万字5个月前
遇到你们,不再空虚 连载中
遇到你们,不再空虚
蓝猫爱吃小无鱼
在我将要“死亡”之时,是你们让我让我获得生的希望……真的吗?……(啊啊啊啊啊写的太烂了!!!)
0.8万字3个月前
请爱我好吗? 连载中
请爱我好吗?
不来朝
原d温柔白切黑sX小狼狗病娇g年龄差有点大g是s养大的(章结有点乱)
2.8万字2个月前
他呀!万人迷而不自知 连载中
他呀!万人迷而不自知
小鹿叮咚
(原创该书已签约)快穿局萌新言之害怕极了,为什么每个世界的主角都不按套路出牌啊!呜呜呜...
1.3万字1个月前
深妖姬之三面妲己 连载中
深妖姬之三面妲己
都值得我前进
婠音妲曦,她是被三面妲己重生转世后尚未形成人形的一只九尾狐女妖的妖体给附体的一位銀朝邻国婠音国公主
0.1万字1个月前