Tallness and level by level equivalence and inequivalence

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 supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals.

• Type: Journal
• Year: 2010
• Where: MLQ
• Authors: Arthur W. Apter
• Keywords: MLQ 2010, Nonsupercompact Measurable Cardinals, Strong Compactness, Strongly Compact Cardinal