Laver sequences for extendible and super-almost-huge cardinals

DOI10.2307/2586614zbMath0949.03046OpenAlexW2081563668MaRDI QIDQ4934024

Paul Corazza

Publication date: 6 December 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.8366

zbMATH Keywords

large cardinalextendible cardinalsLaver sequencesLaver-closureLaver-generatingregular class of embeddingssuper-almost-huge cardinals

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Related Items (13)

The Axiom of Infinity and Transformations j: V → V ⋮ Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\) ⋮ On extendible cardinals and the GCH ⋮ Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum ⋮ The lottery preparation ⋮ Characterizing large cardinals through Neeman's pure side condition forcing ⋮ PFA and ideals on \(\omega_{2}\) whose associated forcings are proper ⋮ JOINT DIAMONDS AND LAVER DIAMONDS ⋮ Ultrahuge cardinals ⋮ ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS ⋮ The wholeness axiom and Laver sequences ⋮ Reflection principles, generic large cardinals, and the continuum problem ⋮ Prevalence of Generic Laver Diamond

Cites Work

• On certain indestructibility of strong cardinals and a question of Hajnal
• Set theory. An introduction to independence proofs
• The left distributive law and the freeness of an algebra of elementary embeddings
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Strong axioms of infinity and elementary embeddings

This page was built for publication: Laver sequences for extendible and super-almost-huge cardinals