向下有向基础假设与超大基数
逻辑
2018-07-23 v2
摘要
如果宇宙是的一个集强制扩张，则称ZFC的传递模型为一个基础。我们证明了的基础是向下集有向的。因此，我们确立了关于强制方法和集论地质学的一些基本定理。例如，（1）地幔，即所有基础的交集，必须是ZFC的一个模型。（2）只有集合许多基础当且仅当地幔是一个基础。我们还证明，如果宇宙拥有某个超大基数，则地幔必须是一个基础。
引用
@article{arxiv.1707.05132,
title = {The downward directed grounds hypothesis and very large cardinals},
author = {Toshimichi Usuba},
journal= {arXiv preprint arXiv:1707.05132},
year = {2018}
}