Certain very large cardinals are not created in small forcing extensions
From MaRDI portal
Publication:2461186
DOI10.1016/j.apal.2007.07.002zbMath1128.03046MaRDI QIDQ2461186
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
Related Items
The downward directed grounds hypothesis and very large cardinals, Generic extensions of models of ZFC, UNIVERSISM AND EXTENSIONS OF V, Boolean-valued class forcing, Inner mantles and iterated HOD, BI-INTERPRETATION IN WEAK SET THEORIES, Strong Logics of First and Second Order, Superstrong and other large cardinals are never Laver indestructible, Laver and set theory, Choice principles in local mantles, STRUCTURAL PROPERTIES OF THE STABLE CORE, On supercompactness and the continuum function, Iteratively changing the heights of automorphism towers, Extendible cardinals and the mantle, Reinhardt cardinals and iterates of \(V\), Choiceless Löwenheim-Skolem property and uniform definability of grounds, Choiceless chain conditions, Set-theoretic geology, THE MODAL LOGIC OF INNER MODELS, What is the theory without power set?, -definability at uncountable regular cardinals, THE SET-THEORETIC MULTIVERSE, INNER MODEL THEORETIC GEOLOGY, SUITABLE EXTENDER MODELS I, The Ultrapower Axiom, Class Forcing in Class Theory, On the Set-Generic Multiverse, 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