An injection from the Baire space to natural numbers
From MaRDI portal
Publication:5740665
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 ℵ0-Injectivity
- On Baire bijection
- A Characterization of Baire Spaces
- On injective Boolean spaces
- scientific article; zbMATH DE number 5563
Cites Work
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)