An Unprovable Ramsey-Type Theorem (Q4031465): Difference between revisions

@@ Property / cites work @@
+Q3773880
@@ Property / cites work: Q3773880 / rank @@
+Normal rank
@@ Property / cites work @@
+A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
+Normal rank
@@ Property / cites work @@
+On the restricted ordinal theorem
@@ Property / cites work: On the restricted ordinal theorem / rank @@
+Normal rank
@@ Property / cites work @@
+On Gödel incompleteness and finite combinatorics
@@ Property / cites work: On Gödel incompleteness and finite combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3772200
@@ Property / cites work: Q3772200 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity and Unprovability of Set Union Problem Strategies
+Normal rank
@@ Property / cites work @@
+Q5202178
@@ Property / cites work: Q5202178 / rank @@
+Normal rank
@@ Property / cites work @@
+Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees
+Normal rank
@@ Property / cites work @@
+A classification of the ordinal recursive functions
+Normal rank