The consistency of level by level equivalence with V=HOD, the ground axiom, and instances of square and diamond

DOI10.4064/BA180529-14-3MaRDI QIDQ5147000zbMATH OpenOpenAlexWikidataFDO

Authors Arthur W. Apter

Publication date 2 February 2021

Published in Bulletin Polish Acad. Sci. Math. (Search for Journal in Brave)

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

zbMATH Keywords

diamondground axiom (GA)HODlevel by level equivalence between strong compactness and supercompactnesslottery sumsquarestrongly compact cardinalsupercompact cardinal

Mathematics Subject Classification ID

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

Recommendations

• Diamond, square, and level by level equivalence
• L-like combinatorial principles and level by level equivalence
• Stationary reflection and level by level equivalence
• An \(L\)-like model containing very large cardinals
• Level by level inequivalence, strong compactness, and GCH

Cites work

• A very weak square principle
• An \(L\)-like model containing very large cardinals
• Coding into HOD via normal measures with some applications
• Diamond, square, and level by level equivalence
• Diamonds
• Extensions with the approximation and cover properties have no new large cardinals
• Gap forcing
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• scientific article; zbMATH DE number 2166914 (Why is no real title available?)
• scientific article; zbMATH DE number 5233908 (Why is no real title available?)
• Large cardinals and definable well-orders on the universe
• Large cardinals need not be large in HOD
• On strong compactness and supercompactness
• On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
• On the strong equality between supercompactness and strong compactness
• Set-theoretic geology
• Squares, scales and stationary reflection
• The ground axiom
• The lottery preparation

Cited in

(4)

• Diamond, square, and level by level equivalence
• Strong combinatorial principles and level by level equivalence
• The ground axiom is consistent with V \neq HOD
• L-like combinatorial principles and level by level equivalence

This page was built for publication: The consistency of level by level equivalence with \(V=\mathrm{HOD}\), the ground axiom, and instances of square and diamond

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