Mycielski 理想的覆盖数全相等
逻辑
2016-09-07 v1
摘要
Mycielski 理想 M_k 定义为由所有满足对一切 X in [omega]^{aleph_0} 有 {f restriction X: f in A} not= k^X 的 A subseteq k^omega 组成的集合。我们将证明这些理想的覆盖数全相等。然而，紧密相关的 Roslanowski 理想的覆盖数将被证明可一致地不同。
引用
@article{arxiv.math/9712288,
title = {The covering numbers of Mycielski ideals are all equal},
author = {Saharon Shelah and Juris Steprāns},
journal= {arXiv preprint arXiv:math/9712288},
year = {2016}
}