Level by level inequivalence beyond measurability

DOI10.1007/s00153-011-0243-xzbMath1250.03090OpenAlexW2005427514MaRDI QIDQ647338

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

strongly compact cardinalsupercompact cardinallevel-by-level inequivalence between strong compactness and supercompactnessMagidor iteration of Prikry forcingnon-reflecting stationary set of ordinals

Mathematics Subject Classification ID

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

Related Items (3)

On the consistency strength of level by level inequivalence ⋮ Precisely controlling level by level behavior ⋮ Inner models with large cardinal features usually obtained by forcing

Cites Work

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

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