An injection from the Baire space to natural numbers

DOI10.1017/S0960129513000406MaRDI QIDQ5740665zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(8)

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

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)