An injection from the Baire space to natural numbers

DOI10.1017/S0960129513000406zbMATH Open1362.03053OpenAlexW2088436797MaRDI QIDQ5740665FDOQ5740665

Authors: 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

Recommendations

• Injective spaces of real-valued functions with the Baire property
• scientific article; zbMATH DE number 4007228
• Injections into function spaces over ordinals and LOTS
• scientific article; zbMATH DE number 6390894
• Injections into function spaces over ordinals
• On ℵ₀-Injectivity
• On Baire bijection
• A Characterization of Baire Spaces
• On injective Boolean spaces
• scientific article; zbMATH DE number 5563

Mathematics Subject Classification ID

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

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

Cited In (7)

• On the uncountability of \(\mathbb{R}\)
• Computability of Subsets of Metric Spaces
• A constructive picture of Noetherian conditions and well quasi-orders
• Five stages of accepting constructive mathematics
• Parametric Church's thesis: synthetic computability without choice
• Exploring mathematical objects from custom-tailored mathematical universes
• Countable sets versus sets that are countable in reverse mathematics

This page was built for publication: An injection from the Baire space to natural numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740665)