MLQ
2010
13 years 10 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...