Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles (Q1680523): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-017-9740-1
@@ Property / DOI: 10.1007/s11225-017-9740-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-017-9740-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2607809972
@@ Property / OpenAlex ID: W2607809972 / 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 @@
+The inductive strength of Ramsey's theorem for pairs
+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 @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+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 proof-theoretic strength of Ramsey's theorem for pairs and two colors
+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 @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4770951
@@ Property / cites work: Q4770951 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11225-017-9740-1
@@ Property / DOI: 10.1007/S11225-017-9740-1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1680523