Countable sets versus sets that are countable in Reverse Mathematics
From MaRDI portal
Publication:6352918
DOI10.3233/COM-210313arXiv2011.01772MaRDI QIDQ6352918
Publication date: 3 November 2020
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication: Countable sets versus sets that are countable in Reverse Mathematics