I0 and rank-into-rank axioms (Q1990130): Difference between revisions

@@ Property / OpenAlex ID @@
+W2962891963
@@ Property / OpenAlex ID: W2962891963 / rank @@
+Normal rank
@@ Property / cites work @@
+Jonsson-like partition relations and <i>j: V → V</i>
+Normal rank
@@ Property / cites work @@
+The wholeness axiom and Laver sequences
@@ Property / cites work: The wholeness axiom and Laver sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\)
+Normal rank
@@ Property / cites work @@
+Inverse limit reflection and the structure of L(V<sub>λ+1</sub>)
+Normal rank
@@ Property / cites work @@
+Diagonal Prikry extensions
@@ Property / cites work: Diagonal Prikry extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Braid Groups and Left Distributive Operations
@@ Property / cites work: Braid Groups and Left Distributive Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
+Normal rank
@@ Property / cites work @@
+A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
+Normal rank
@@ Property / cites work @@
+Rank-into-rank hypotheses and the failure of GCH
@@ Property / cites work: Rank-into-rank hypotheses and the failure of GCH / rank @@
+Normal rank
@@ Property / cites work @@
+A general tool for consistency results related to I1
+Normal rank
@@ Property / cites work @@
+The consistency strength of the tree property at the double successor of a measurable cardina
+Normal rank
@@ Property / cites work @@
+Finite left-distributive algebras and embedding algebras
+Normal rank
@@ Property / cites work @@
+Powers of regular cardinals
@@ Property / cites work: Powers of regular cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Set Theory
@@ Property / cites work: Handbook of Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5420969
@@ Property / cites work: Q5420969 / rank @@
+Normal rank
@@ Property / cites work @@
+Blowing up power of a singular cardinal -- wider gaps
+Normal rank
@@ Property / cites work @@
+Prikry-Type Forcings
@@ Property / cites work: Prikry-Type Forcings / rank @@
+Normal rank
@@ Property / cites work @@
+Coding lemmata in \(L(V_{\lambda+1})\)
@@ Property / cites work: Coding lemmata in \(L(V_{\lambda+1})\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315890
@@ Property / cites work: Q4315890 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragile measurability
@@ Property / cites work: Fragile measurability / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of the Kunen inconsistency
@@ Property / cites work: Generalizations of the Kunen inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary embeddings and infinitary combinatorics
+Normal rank
@@ Property / cites work @@
+The left distributive law and the freeness of an algebra of elementary embeddings
+Normal rank
@@ Property / cites work @@
+On the algebra of elementary embeddings of a rank into itself
+Normal rank
@@ Property / cites work @@
+Implications between strong large cardinal axioms
@@ Property / cites work: Implications between strong large cardinal axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy
+Normal rank
@@ Property / cites work @@
+Q3865884
@@ Property / cites work: Q3865884 / rank @@
+Normal rank
@@ Property / cites work @@
+On sequences generic in the sense of Prikry
@@ Property / cites work: On sequences generic in the sense of Prikry / rank @@
+Normal rank
@@ Property / cites work @@
+Extender-based Radin forcing
@@ Property / cites work: Extender-based Radin forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5609367
@@ Property / cites work: Q5609367 / rank @@
+Normal rank
@@ Property / cites work @@
+ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
+Normal rank
@@ Property / cites work @@
+AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY
+Normal rank
@@ Property / cites work @@
+\(I_0\) and combinatorics at \(\lambda ^+\)
@@ Property / cites work: \(I_0\) and combinatorics at \(\lambda ^+\) / rank @@
+Normal rank
@@ Property / cites work @@
+Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
+Normal rank
@@ Property / cites work @@
+No elementary embedding from v into v is definable from parameters
+Normal rank
@@ Property / cites work @@
+SUITABLE EXTENDER MODELS I
@@ Property / cites work: SUITABLE EXTENDER MODELS I / rank @@
+Normal rank
@@ Property / cites work @@
+SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
@@ Property / cites work: SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE / rank @@
+Normal rank
@@ Property / cites work @@
+The weak ultrafilter axiom
@@ Property / cites work: The weak ultrafilter axiom / rank @@
+Normal rank