101 citations · 688 across the 27 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
math.LO2025
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.LO2025
Loops, Inverse Limits and Non-Determinism
Vasco Brattka
We introduce an operator on problems in Weihrauch complexity, which we call the infinite loop or inverse limit, and which corresponds to an infinite compositional product. This ope…