Echeloned saturation and forcing axioms
Logic
2025-03-21 v2
Abstract
Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than , there are no weakly Laver ideals over . We also prove that under Baumgartner's axiom there are no Laver ideals over .
Cite
@article{arxiv.2401.13364,
title = {Echeloned saturation and forcing axioms},
author = {Shimon Garti},
journal= {arXiv preprint arXiv:2401.13364},
year = {2025}
}