Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles
DOI10.1007/s11225-017-9740-1zbMath1378.00026OpenAlexW2607809972MaRDI QIDQ1680523
Publication date: 16 November 2017
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9740-1
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Other combinatorial set theory (03E05) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30) External book reviews (00A17)
Cites Work
- Unnamed Item
- Unnamed Item
- The inductive strength of Ramsey's theorem for pairs
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors
- On the strength of Ramsey's theorem
- On the strength of Ramsey's theorem for pairs
- RT22 does not imply WKL0
- The atomic model theorem and type omitting
- Ramsey's theorem and recursion theory
This page was built for publication: Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles
