Mad families and non-meager filters
Logic
2017-01-12 v1
Abstract
We prove the consistency of ZF+DC+"there are no mad families"+"there exists a non-meager filter on " relative to ZFC, answering a question of Neeman and Norwood. We also introduce a weaker version of madness, and we strengthen the result from [HwSh:1090] by showing that no such families exist in our model.
Cite
@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}
}