Countable sets versus sets that are countable in reverse mathematics
From MaRDI portal
Publication:5037215
DOI10.3233/COM-210313MaRDI QIDQ5037215
Publication date: 28 February 2022
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.01772
03Dxx: Computability and recursion theory