Mad 族与非贫滤子
逻辑
2017-01-12 v1
摘要
我们证明了相对于 ZFC,ZF+DC+“不存在 mad 族”+“在 上存在非贫滤子”的一致性,回答了 Neeman 和 Norwood 的一个问题。我们还引入了 madness 的一个较弱版本,并通过展示在我们的模型中不存在此类族,加强了 [HwSh:1090] 中的结果。
引用
@article{arxiv.1701.02806,
title = {Mad families and non-meager filters},
author = {Haim Horowitz and Saharon Shelah},
journal= {arXiv preprint arXiv:1701.02806},
year = {2017}
}