An injection from the Baire space to natural numbers
From MaRDI portal
Publication:5740665
DOI10.1017/S0960129513000406zbMath1362.03053MaRDI QIDQ5740665
Publication date: 27 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129513000406
Related Items
Computability of Subsets of Metric Spaces, Countable sets versus sets that are countable in reverse mathematics, ON THE UNCOUNTABILITY OF, Five stages of accepting constructive mathematics, A constructive picture of Noetherian conditions and well quasi-orders, Exploring mathematical objects from custom-tailored mathematical universes, Parametric Church's thesis: synthetic computability without choice
Cites Work