TAKING REINHARDT'S POWER AWAY
TAKING REINHARDT'S POWER AWAY
复制标题
剥夺莱因哈特的权力
DOI：
10.1017/jsl.2022.9
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
MATTHEWS R
中科院分区：
文献类型：
--
作者：
MATTHEWS R
我们研究了非平凡初等嵌入的概念，假设V满足ZFC没有权力集，但收集计划。我们表明，没有这样的嵌入可以存在下的额外的假设，它是共尾的，无论是一个集合或方案的依赖选择的任意长度举行。然后，我们研究失败的集合的实例在对称子模型的类强迫。
We study the notion of non-trivial elementary embeddings under the assumption that V satisfies ZFC without Power Set but with the Collection Scheme. We show that no such embedding can exist under the additional assumption that it is cofinal and either is a set or that the scheme of Dependent Choices of arbitrary length holds. We then study failures of instances of Collection in symmetric submodels of class forcings.