Saturated ideals from Laver collapses

Abstract

Addressing a question of Shioya, we show that two-step iterations of the Laver collapse can force saturated ideals and Chang conjectures.