The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond

DOI10.4064/ba180529-14-3zbMath1484.03107OpenAlexW3014939224WikidataQ113999243 ScholiaQ113999243MaRDI QIDQ5147000

Arthur W. Apter

Publication date: 2 February 2021

Published in: Bulletin of the Polish Academy of Sciences Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/ba180529-14-3

zbMATH Keywords

strongly compact cardinalsquarediamondlottery sumsupercompact cardinalHODlevel by level equivalence between strong compactness and supercompactnessground axiom (GA)

Mathematics Subject Classification ID

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

Related Items (1)

Strong combinatorial principles and level by level equivalence

Cites Work

• Unnamed Item
• Unnamed Item
• Large cardinals need not be large in HOD
• An \(L\)-like model containing very large cardinals
• Diamond, square, and level by level equivalence
• The lottery preparation
• Set-theoretic geology
• SQUARES, SCALES AND STATIONARY REFLECTION
• Coding into HOD via normal measures with some applications
• Diamonds
• Large cardinals and definable well-orders on the universe
• On strong compactness and supercompactness
• On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• A very weak square principle
• Extensions with the approximation and cover properties have no new large cardinals
• The ground axiom
• On the strong equality between supercompactness and strong compactness
• Gap forcing

This page was built for publication: The consistency of level by level equivalence with $V = {\rm HOD}$, the Ground Axiom, and instances of square and diamond