On notions of computability-theoretic reduction between Π21 principles (Q3186057): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the uniform computational content of computability theory
+Normal rank
@@ Property / cites work @@
+ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
+Normal rank
@@ Property / cites work @@
+Q5711879
@@ Property / cites work: Q5711879 / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
+Normal rank
@@ Property / cites work @@
+On uniform relationships between combinatorial problems
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of robust information coding
@@ Property / cites work: Notions of robust information coding / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey’s theorem for singletons and strong computable reducibility
+Normal rank
@@ Property / cites work @@
+Q3140636
@@ Property / cites work: Q3140636 / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+The Strength of Some Combinatorial Principles Related to Ramsey's Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+Induction, Bounding, Weak Combinatorial                     Principles, and the Homogeneous Model                     Theorem
+Normal rank
@@ Property / cites work @@
+Q5831322
@@ Property / cites work: Q5831322 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition Theorems and Computability Theory
@@ Property / cites work: Partition Theorems and Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+The weakness of being cohesive, thin or free in reverse mathematics
+Normal rank
@@ Property / cites work @@
+OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596777
@@ Property / cites work: Q5596777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank