坍缩 $HOD$ 的基数
逻辑
2016-01-15 v1
摘要
假设 成立且 是 -超紧的,我们构造了 的一个泛型扩张 ,其中 保持强不可达,并且对于每个无穷基数 有 。特别地,秩初始段 是 ZFC 的一个模型,其中对于每个无穷基数 有 。
引用
@article{arxiv.1601.03482,
title = {Collapsing the cardinals of $HOD$},
author = {James Cummings and Sy David Friedman and Mohammad Golshani},
journal= {arXiv preprint arXiv:1601.03482},
year = {2016}
}