Weakly Represented Families in Reverse Mathematics (Q2970957): Difference between revisions

@@ Property / cites work @@
+Q4844091
@@ Property / cites work: Q4844091 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Cardinal Characteristics of the Continuum
+Normal rank
@@ Property / cites work @@
+An Analogy between Cardinal Characteristics and Highness Properties of Oracles
+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 @@
+On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
+Normal rank
@@ Property / cites work @@
+\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
+Normal rank
@@ Property / cites work @@
+Q3801539
@@ Property / cites work: Q3801539 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A criterion for completeness of degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive inference and reverse mathematics
@@ Property / cites work: Inductive inference and reverse mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Upward closure and cohesive degrees
@@ Property / cites work: Upward closure and cohesive degrees / 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 @@
+A cohesive set which is not high
@@ Property / cites work: A cohesive set which is not high / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov complexity and the Recursion Theorem
@@ Property / cites work: Kolmogorov complexity and the Recursion Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+The axiomatization of randomness
@@ Property / cites work: The axiomatization of randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Partition Theorems and Computability Theory
@@ Property / cites work: Partition Theorems and Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Measure and Category
@@ Property / cites work: Some Properties of Measure and Category / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. The theory of functions and sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized Schnorr tests with universal behavior
@@ Property / cites work: Relativized Schnorr tests with universal behavior / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375363
@@ Property / cites work: Q4375363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+On degrees of recursive unsolvability
@@ Property / cites work: On degrees of recursive unsolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ Property / cites work @@
+Lowness for genericity
@@ Property / cites work: Lowness for genericity / rank @@
+Normal rank