Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Computable Bases
Vasco Brattka, Emmanuel Rauzy
In computable analysis typically topological spaces with countable bases are considered. The Theorem of Kreitz-Weihrauch implies that the subbase representation of a second-countab…
math.LO2025
Effective bases and notions of effective second countability in computable analysis
Vasco Brattka, Emmanuel Rauzy
We investigate different notions of "computable topological base" for represented spaces. We show that several non-equivalent notions of bases become equivalent when we consider co…
math.LO2024
New definitions in the theory of Type 1 computable topological spaces
Emmanuel Rauzy
In 1957, Lacombe initiated a systematic study of the different possible notions of "computable topological spaces". However, he interrupted this line of research, settling for the…