Publication:3865884
From MaRDI portal
zbMath0428.90086MaRDI QIDQ3865884
Publication date: 1980
Related Items
Laver and set theory, Kunen and set theory, Double helix in large large cardinals and iteration of elementary embeddings, \(\Pi^ 1_ 1\)-complete families of elementary sequences, Implications between strong large cardinal axioms, The iterability hierarchy above \(\mathsf {I3}\), Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy], I0 and rank-into-rank axioms, Rank-to-rank embeddings, Laver tables, and Galton-Watson processes, Certain very large cardinals are not created in small forcing extensions