MLQ
2010
13 years 3 months ago
2010
We construct two models containing exactly one supercompact cardinal in which all nonsupercompact measurable cardinals are strictly taller than they are either strongly compact or...
JSYML
1998
13 years 4 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...