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

@@ label / en / label / en @@
+An Unprovable Ramsey-Type Theorem
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2159452
@@ Property / full work available at URL: https://doi.org/10.2307/2159452 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4242420257
@@ Property / OpenAlex ID: W4242420257 / rank @@
+Normal rank
@@ Property / title @@
+An Unprovable Ramsey-Type Theorem (English)
@@ Property / title: An Unprovable Ramsey-Type Theorem (English) / rank @@
+Normal rank
@@ 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