用非有限支配族覆盖 Baire 空间
逻辑
2010-11-02 v4 组合数学
一般拓扑
摘要
相对于 ZFC 是一致的:在 Baire 空间中,至多 max{b,g} 个非有限支配族的并是非支配的。特别地,对每一非主超滤子 U,约化超幂 w^w/U 的共尾性大于 max{b,g} 是一致的。该模型通过预言机链条件力迫构造,我们对其给出了自足的介绍。
引用
@article{arxiv.math/0407487,
title = {Covering the Baire space by families which are not finitely dominating},
author = {Heike Mildenberger and Saharon Shelah and Boaz Tsaban},
journal= {arXiv preprint arXiv:math/0407487},
year = {2010}
}
备注
Small updates