Level by level inequivalence beyond measurability
From MaRDI portal
Publication:647338
DOI10.1007/s00153-011-0243-xzbMath1250.03090OpenAlexW2005427514MaRDI QIDQ647338
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
strongly compact cardinalsupercompact cardinallevel-by-level inequivalence between strong compactness and supercompactnessMagidor iteration of Prikry forcingnon-reflecting stationary set of ordinals
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
