Canonical Truth
Canonical Truth
复制标题
规范真理
DOI：
10.1007/s10516-022-09631-5
复制
发表时间：
2022
期刊：
影响因子：
0.5
通讯作者：
Carl M
中科院分区：
文献类型：
--
作者：
Carl M
我们介绍和研究一些变种的概念规范集理论真理。这里，我们指的是ZFC的传递真类模型M中的真值，它被某个∈-公式唯一地刻画。我们发现，有一些有趣的声明，在所有这样的模型，但不遵循ZFC，如地面模型公理和不存在的可测量的基数。我们还研究了一个相关的概念，其中我们只需要M被固定到初等等价。我们表明，这种理论规范性也超出了ZFC的可证明性，但它不排除可测的基数，它不固定的连续统的大小。
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model M of ZFC that is uniquely characterized by some∈-formula. We show that there are interesting statements that hold in all such models, but do not follow from ZFC, such as the ground model axiom and the nonexistence of measurable cardinals. We also study a related concept in which we only require M to be fixed up to elementary equivalence. We show that this theory-canonicity also goes beyond provability in ZFC, but it does not rule out measurable cardinals and it does not fix the size of the continuum.
登录
查看更多内容
可识别集合和伍丁基数：超越可构造宇宙的计算
影响因子：
0.8
作者：
M. Carl;Philipp Schlicht;P. Welch
通讯作者：
P. Welch
对称地基地质学
DOI：
--
发表时间：
2021
期刊：
Proceedings of the 16th Asian Logic Conference
影响因子：
--
作者：
Egashira Kento;Yata Kazuyoshi;Aoshima Makoto;Toshimichi Usuba
通讯作者：
Toshimichi Usuba
迭代完美集强迫的应用
影响因子：
0.8
作者：
M. Groszek
通讯作者：
M. Groszek
一个非常绝对的Π21真实单例
DOI：
--
发表时间：
1982
期刊：
Annals of Mathematical Logic
影响因子：
--
作者：
R. David
通讯作者：
R. David
关键的红衣主教
影响因子：
1
作者：
Yair Hayut;Asaf Karagila
通讯作者：
Asaf Karagila