The canonical Ramsey theorem and computability theory (Q5437596): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711879
@@ Property / cites work: Q5711879 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+A Combinatorial Theorem
@@ Property / cites work: A Combinatorial Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem for computably enumerable colorings
+Normal rank
@@ Property / cites work @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805123
@@ Property / cites work: Q4805123 / 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 @@
+The canonical Ramsey theorem and computability theory
+Normal rank
@@ Property / cites work @@
+Note on Canonical Partitions
@@ Property / cites work: Note on Canonical Partitions / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-07-04390-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2095307184
@@ Property / OpenAlex ID: W2095307184 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5437596