A general tool for consistency results related to I1 (Q300492): Difference between revisions

@@ Property / OpenAlex ID @@
+W2278191539
@@ Property / OpenAlex ID: W2278191539 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03287
@@ Property / arXiv ID: 1510.03287 / rank @@
+Normal rank
@@ Property / cites work @@
+THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
@@ Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank @@
+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 @@
+Elementary Embeddings and Algebra
@@ Property / cites work: Elementary Embeddings and Algebra / rank @@
+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 @@
+The consistency strength of the tree property at the double successor of a measurable cardina
+Normal rank
@@ Property / cites work @@
+Powers of regular cardinals
@@ Property / cites work: Powers of regular cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+The tree property at ℵ<sub><i>ω</i>+2</sub>
@@ Property / cites work: The tree property at ℵ<sub><i>ω</i>+2</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Prikry-Type Forcings
@@ Property / cites work: Prikry-Type Forcings / rank @@
+Normal rank
@@ Property / cites work @@
+On SCH and the approachability property
@@ Property / cites work: On SCH and the approachability property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315890
@@ Property / cites work: Q4315890 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary embeddings and infinitary combinatorics
+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 @@
+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 @@
+ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
+Normal rank
@@ Property / cites work @@
+Q5613932
@@ Property / cites work: Q5613932 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533187
@@ Property / cites work: Q5533187 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY
+Normal rank
@@ Property / cites work @@
+Q4078034
@@ Property / cites work: Q4078034 / rank @@
+Normal rank
@@ Property / cites work @@
+SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
@@ Property / cites work: SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE / rank @@
+Normal rank