The wholeness axiom and Laver sequences
From MaRDI portal
Publication:1591376
DOI10.1016/S0168-0072(99)00052-4zbMath0999.03048WikidataQ114012777 ScholiaQ114012777MaRDI QIDQ1591376
Publication date: 3 December 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items
The spectrum of elementary embeddings \(j: V \to V\) ⋮ A general tool for consistency results related to I1 ⋮ The Axiom of Infinity and Transformations j: V → V ⋮ Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\) ⋮ Indestructibility properties of remarkable cardinals ⋮ The lottery preparation ⋮ Rank-into-rank hypotheses and the failure of GCH ⋮ Indestructibility of Wholeness ⋮ Indestructibility, HOD, and the Ground Axiom ⋮ I0 and rank-into-rank axioms ⋮ Laver and set theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On certain indestructibility of strong cardinals and a question of Hajnal
- Set theory. An introduction to independence proofs
- Set theory. An introduction to large cardinals
- Exact functors and measurable cardinals
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Model theory
- Consistency of \(V= \text{HOD}\) with the wholeness axiom
- Elementary embeddings and infinitary combinatorics
- Making the hugeness of ϰ resurrectable after ϰ-directed closed forcing
- Many-times huge and superhuge cardinals
- Between strong and superstrong
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
- A Proof of Projective Determinacy
- Sets constructible from sequences of ultrafilters
- How large is the first strongly compact cardinal? or a study on identity crises
- Strong axioms of infinity and elementary embeddings
- Fragile measurability
- Flipping properties and huge cardinals
- Laver sequences for extendible and super-almost-huge cardinals
- The wholeness axioms and V=HOD
This page was built for publication: The wholeness axiom and Laver sequences
