An injection from the Baire space to natural numbers

DOI10.1017/S0960129513000406zbMath1362.03053OpenAlexW2088436797MaRDI QIDQ5740665

Andrej Bauer

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

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Turing machines and related notions (03D10)

Related Items

Countable sets versus sets that are countable in reverse mathematics ⋮ ON THE UNCOUNTABILITY OF ⋮ Parametric Church's thesis: synthetic computability without choice ⋮ A constructive picture of Noetherian conditions and well quasi-orders ⋮ Five stages of accepting constructive mathematics ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Computability of Subsets of Metric Spaces

Cites Work

• Realizability. An introduction to its categorical side
• Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25--28, 2011
• Infinite time Turing machines