合理超滤子再探
逻辑
2013-01-04 v2
摘要
我们继续研究 math.LO/0407498 中定义的不可数基数上的合理超滤子。我们引入超滤子的更强性质，并证明这些性质可在合理有界力迫概念的 λ-支撑迭代中处理。我们用此证明：在一致情形下，不可达基数 λ 上存在生成系统大小小于 2^λ 的合理超滤子。我们还展示了合理超滤子如何被具有足够合理完全性以进行 λ-支撑迭代的力迫概念所消灭（并给出相应的保持定理）。
引用
@article{arxiv.math/0605067,
title = {Reasonable ultrafilters, again},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0605067},
year = {2013}
}