I[omega_2] 可以是 Cof(omega_1) 上的非平稳理想
逻辑
2007-05-23 v4
摘要
我们回答 Shelah 的一个问题,证明如下是一致的:I[omega_2] 中余逻 omega_1 的序数集是非平稳的,当且仅当存在一个 kappa^+ Mahlo 基数 kappa 是一致的。
引用
@article{arxiv.math/0407225,
title = {I[omega_2] can be the nonstationary ideal on Cof(omega_1)},
author = {William J. Mitchell},
journal= {arXiv preprint arXiv:math/0407225},
year = {2007}
}
备注
version 4 of the paper has been extensively revised in response to the referee report from TAMS. I expect it to appear in TAMS