Certain very large cardinals are not created in small forcing extensions

DOI10.1016/j.apal.2007.07.002zbMath1128.03046MaRDI QIDQ2461186

Richard Laver

Publication date: 27 November 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.07.002

zbMATH Keywords

forcing; large cardinals

Mathematics Subject Classification ID

03E55: Large cardinals

03E40: Other aspects of forcing and Boolean-valued models

Related Items

Strong Logics of First and Second Order, Superstrong and other large cardinals are never Laver indestructible, Laver and set theory, On supercompactness and the continuum function, Iteratively changing the heights of automorphism towers, Set-theoretic geology, THE MODAL LOGIC OF INNER MODELS, -definability at uncountable regular cardinals, THE SET-THEORETIC MULTIVERSE, SUITABLE EXTENDER MODELS I, The ground axiom is consistent with V $\neq $ HOD, Some Second Order Set Theory, Incompatible Ω-Complete Theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implications between strong large cardinal axioms
• Measurable cardinals and the continuum hypothesis
• Coding lemmata in \(L(V_{\lambda+1})\)
• Elementary embeddings and infinitary combinatorics
• Small forcing creates neither strong nor Woodin cardinals
• Extensions with the approximation and cover properties have no new large cardinals