Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\)
From MaRDI portal
Publication:868659
DOI10.1007/s00153-006-0027-xzbMath1105.03051OpenAlexW185281965MaRDI QIDQ868659
Publication date: 6 March 2007
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-006-0027-x
Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (3)
Rank-into-rank hypotheses and the failure of GCH ⋮ Indestructibility of Wholeness ⋮ I0 and rank-into-rank axioms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterating ordinal definability
- Set theory. An introduction to independence proofs
- Consistency of \(V= \text{HOD}\) with the wholeness axiom
- Fine structure and class forcing
- The wholeness axiom and Laver sequences
- The spectrum of elementary embeddings \(j: V \to V\)
- Elementary embeddings and infinitary combinatorics
- Consistency Results Concerning Supercompactness
- Fragile measurability
- Laver sequences for extendible and super-almost-huge cardinals
- The wholeness axioms and V=HOD
This page was built for publication: Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\)
