The wholeness axiom and Laver sequences

DOI10.1016/S0168-0072(99)00052-4zbMath0999.03048WikidataQ114012777 ScholiaQ114012777MaRDI QIDQ1591376

Paul Corazza

Publication date: 3 December 2002

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

zbMATH Keywords

large cardinalselementary embeddingwholeness axiomLaver sequences

Mathematics Subject Classification ID

Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Related Items (11)

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