AXIOM I0 AND HIGHER DEGREE THEORY (Q3450811): Difference between revisions

@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Inner models in the region of a Woodin limit of Woodin cardinals
+Normal rank
@@ Property / cites work @@
+Proper Forcing
@@ Property / cites work: Proper Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+The Covering Lemma
@@ Property / cites work: The Covering Lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy
+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 @@
+Braid group actions on left distributive structures, and well orderings in the braid groups
+Normal rank
@@ Property / cites work @@
+On the algebra of elementary embeddings of a rank into itself
+Normal rank
@@ Property / cites work @@
+The left distributive law and the freeness of an algebra of elementary embeddings
+Normal rank
@@ Property / cites work @@
+Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
+Normal rank
@@ Property / cites work @@
+Infinitary combinatorics and the axiom of determinateness
+Normal rank
@@ Property / cites work @@
+SUITABLE EXTENDER MODELS I
@@ Property / cites work: SUITABLE EXTENDER MODELS I / rank @@
+Normal rank
@@ Property / cites work @@
+Prikry-Type Forcings
@@ Property / cites work: Prikry-Type Forcings / rank @@
+Normal rank
@@ Property / cites work @@
+The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
+Normal rank

AXIOM <i>I</i><sub>0</sub> AND HIGHER DEGREE THEORY (Q3450811): Difference between revisions

Latest revision as of 00:41, 11 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)