Reverse Mathematics
From MaRDI portal
Publication:5095937
DOI10.1007/978-3-031-11367-3OpenAlexW4287313091MaRDI QIDQ5095937
Damir D. Dzhafarov, Carl Mummert
Publication date: 11 August 2022
Published in: Theory and Applications of Computability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-11367-3
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (3)
Banach’s theorem in higher-order reverse mathematics ⋮ On the complexity of learning programs ⋮ The Ginsburg-Sands theorem and computability theory
This page was built for publication: Reverse Mathematics
