Reverse mathematics and a Ramsey-type König's Lemma (Q4899173): Difference between revisions

@@ Property / Wikidata QID @@
+Q124918191
@@ Property / Wikidata QID: Q124918191 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2526
@@ Property / arXiv ID: 1111.2526 / 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 @@
+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 @@
+Q3395521
@@ Property / cites work: Q3395521 / 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 @@
+A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement
+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 @@
+Stable Ramsey's theorem and measure
@@ Property / cites work: Stable Ramsey's theorem and measure / rank @@
+Normal rank
@@ Property / cites work @@
+Effective presentability of Boolean algebras of Cantor-Bendixson rank 1
+Normal rank