On the consistency strength of level by level inequivalence

DOI10.1007/s00153-017-0538-7zbMath1417.03259OpenAlexW2611113095MaRDI QIDQ2408071

Arthur W. Apter

Publication date: 9 October 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-017-0538-7

zbMATH Keywords

strongly compact cardinalnonreflecting stationary set of ordinalssupercompact cardinalequiconsistencylevel by level inequivalence between strong compactness and supercompactness

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Related Items (1)

Precisely controlling level by level behavior

Cites Work

• Unnamed Item
• Inner models with large cardinal features usually obtained by forcing
• Level by level inequivalence beyond measurability
• Measurable cardinals and the continuum hypothesis
• On level by level equivalence and inequivalence between strong compactness and supercompactness
• Indestructible strong compactness and level by level inequivalence
• Level by Level Inequivalence, Strong Compactness, and GCH
• Exactly controlling the non-supercompact strongly compact cardinals
• Tallness and level by level equivalence and inequivalence
• A Model in Which GCH Holds at Successors but Fails at Limits
• On the compactness of ℵ₁ and ℵ₂
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• On the strong equality between supercompactness and strong compactness
• Gap forcing

This page was built for publication: On the consistency strength of level by level inequivalence