2017/01/10 by Haim Horowitz, Saharon Shelah, Horowitz, Haim +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1701.02806
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.