Carlson Collapse is minimal under MA

Namba forcing [5] may be regarded as a generalization of Laver forcing [2] to ω2. The analogous forcing for ω1 we call the Carlson collapse. We first encountered it when writing our joint paper: Carlson, Kunen, and Miller [1]. In that paper we used the Prikry collapse of ω1, which is analogous to superperfect tree forcing (e.g., Miller [3]) but with… (More)