强适当力的商与猜测模型
逻辑
2015-06-08 v2
摘要
我们证明了一大类强适当力偏序集具有具备强性质的商。具体而言，我们证明了：若力偏序集在模型的平稳集上具有简单的通用强泛型条件，则其关于某些优良正则子偏序集的商满足 -逼近性质。我们证明了对于足够大的基数 ，在 中存在平稳多个 -猜测模型这一事实与连续统可以任意大是一致的，从而解决了 Viale 和 Weiss 提出的一个问题。
引用
@article{arxiv.1406.3306,
title = {Quotients of Strongly Proper Forcings and Guessing Models},
author = {Sean Cox and John Krueger},
journal= {arXiv preprint arXiv:1406.3306},
year = {2015}
}