Milliken’s Tree Theorem and Its Applications: A Computability-Theoretic Perspective (Q6201447): Difference between revisions

@@ Property / cites work @@
+Weihrauch Complexity in Computable Analysis
@@ Property / cites work: Weihrauch Complexity in Computable Analysis / rank @@
+Normal rank
@@ 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 @@
+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 @@
+Thin set theorems and cone avoidance
@@ Property / cites work: Thin set theorems and cone avoidance / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma
+Normal rank
@@ Property / cites work @@
+Reverse mathematics, computability, and partitions of trees
+Normal rank
@@ Property / cites work @@
+Rainbow Ramsey simple structures
@@ Property / cites work: Rainbow Ramsey simple structures / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Cohesive avoidance and strong reductions
@@ Property / cites work: Cohesive avoidance and strong reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and cone avoidance
@@ Property / cites work: Ramsey's theorem and cone avoidance / rank @@
+Normal rank
@@ Property / cites work @@
+Coloring trees in reverse mathematics
@@ Property / cites work: Coloring trees in reverse mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Coloring the rationals in reverse mathematics
@@ Property / cites work: Coloring the rationals in reverse mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3063534
@@ Property / cites work: Q3063534 / rank @@
+Normal rank
@@ Property / cites work @@
+A Partition Theorem
@@ Property / cites work: A Partition Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of computability-theoretic reduction between Π21 principles
+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 @@
+Degrees of members of \(\Pi_ 1^ 0\) classes
@@ Property / cites work: Degrees of members of \(\Pi_ 1^ 0\) classes / 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 @@
+SEARCHING FOR AN ANALOGUE OF ATR<sub>0</sub> IN THE WEIHRAUCH LATTICE
+Normal rank
@@ Property / cites work @@
+Canonical partitions of universal structures
@@ Property / cites work: Canonical partitions of universal structures / rank @@
+Normal rank
@@ Property / cites work @@
+Counting canonical partitions in the random graph
@@ Property / cites work: Counting canonical partitions in the random graph / rank @@
+Normal rank
@@ Property / cites work @@
+A Ramsey theorem for trees
@@ Property / cites work: A Ramsey theorem for trees / rank @@
+Normal rank
@@ Property / cites work @@
+A Partition Theorem for the Infinite Subtrees of a Tree
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+On the Independence of the Kinna Wagner Principle
@@ Property / cites work: On the Independence of the Kinna Wagner Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Partitions of Products
@@ Property / cites work: Partitions of Products / rank @@
+Normal rank
@@ Property / cites work @@
+Coloring subgraphs of the Rado graph
@@ Property / cites work: Coloring subgraphs of the Rado graph / 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 @@
+Splitting an α-Recursively Enumerable Set
@@ Property / cites work: Splitting an α-Recursively Enumerable Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770951
@@ Property / cites work: Q4770951 / rank @@
+Normal rank
@@ Property / cites work @@
+On sets of integers containing k elements in arithmetic progression
+Normal rank
@@ Property / cites work @@
+Q4101924
@@ Property / cites work: Q4101924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5421714
@@ Property / cites work: Q5421714 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Ramsey Spaces (AM-174)
@@ Property / cites work: Introduction to Ramsey Spaces (AM-174) / rank @@
+Normal rank
@@ Property / cites work @@
+Some logically weak Ramseyan theorems
@@ Property / cites work: Some logically weak Ramseyan theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Big Ramsey degrees and topological dynamics
@@ Property / cites work: Big Ramsey degrees and topological dynamics / rank @@
+Normal rank