A computable analysis of variable words theorems (Q4644466): Difference between revisions

@@ Property / cites work @@
+A dual form of Ramsey's theorem
@@ Property / cites work: A dual form of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The reverse mathematics of Hindman’s Theorem for sums of exactly two elements
+Normal rank
@@ Property / cites work @@
+Q4513968
@@ Property / cites work: Q4513968 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectiveness for infinite variable words and the dual Ramsey theorem
+Normal rank
@@ Property / cites work @@
+Open Questions in Reverse Mathematics
@@ Property / cites work: Open Questions in Reverse Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank