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