Level by level inequivalence beyond measurability

DOI10.1007/S00153-011-0243-XMaRDI QIDQ647338zbMATH OpenOpenAlexFDO

Authors Arthur W. Apter

Publication date 23 November 2011

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

Full work available at URL https://doi.org/10.1007/s00153-011-0243-x

zbMATH Keywords

level-by-level inequivalence between strong compactness and supercompactnessMagidor iteration of Prikry forcingnon-reflecting stationary set of ordinalsstrongly compact cardinalsupercompact cardinal

Mathematics Subject Classification ID

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

Recommendations

• Level by level inequivalence, strong compactness, and GCH
• Tallness and level by level equivalence and inequivalence
• Level by level equivalence and strong compactness
• On level by level equivalence and inequivalence between strong compactness and supercompactness
• Precisely controlling level by level behavior

Cites work

• A new proof of a theorem of Magidor
• How large is the first strongly compact cardinal? or a study on identity crises
• Identity crises and strong compactness
• Inner models with large cardinal features usually obtained by forcing
• Laver indestructibility and the class of compact cardinals
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Measurable cardinals and the continuum hypothesis
• On level by level equivalence and inequivalence between strong compactness and supercompactness
• On the strong equality between supercompactness and strong compactness
• Some results on consecutive large cardinals
• Strong compactness and other cardinal sins
• Tallness and level by level equivalence and inequivalence

Cited in

(10)

• On the consistency strength of level by level inequivalence
• Level by level inequivalence, strong compactness, and GCH
• Tallness and level by level equivalence and inequivalence
• Level by level equivalence and the number of normal measures over P_κ(λ)
• Two levels are as good as any
• Inner models with large cardinal features usually obtained by forcing
• Hierarchies of ineffabilities
• Precisely controlling level by level behavior
• Indestructible supercompactness and level by level inequivalence
• Failures of SCH and level by level equivalence

This page was built for publication: Level by level inequivalence beyond measurability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647338)