# Logic seminar- Shimon Garti, "Forcing axioms and saturated ideals"

Abstract: Paul Larson proved that under Martin's axiom and large continuum there are no Laver ideals over aleph_1. He asked about weakly Laver ideals under some forcing axiom.