Lifting recursive counterexamples to higher-order arithmetic
From MaRDI portal
Publication:2177592
DOI10.1007/978-3-030-36755-8_16zbMath1485.03243OpenAlexW2996643842MaRDI QIDQ2177592
Publication date: 6 May 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-36755-8_16
Related Items (4)
Countable sets versus sets that are countable in reverse mathematics ⋮ Representations and the foundations of mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Lifting proofs from countable to uncountable mathematics
This page was built for publication: Lifting recursive counterexamples to higher-order arithmetic
