Separating principles below (Q2958212): Difference between revisions

@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and a Ramsey-type König's Lemma
+Normal rank
@@ Property / cites work @@
+A fixed-point-free minimal degree
@@ Property / cites work: A fixed-point-free minimal degree / rank @@
+Normal rank
@@ Property / cites work @@
+SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
+Normal rank
@@ Property / cites work @@
+RT<sub>2</sub><sup>2</sup> does not imply WKL<sub>0</sub>
+Normal rank
@@ Property / cites work @@
+THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank