Separating principles below (Q2958212): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963317686
@@ Property / OpenAlex ID: W2963317686 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4068
@@ Property / arXiv ID: 1410.4068 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2958212