TY  - RPRT
TI  - Effective bases and notions of effective second countability in computable analysis
AU  - Vasco Brattka
AU  - Emmanuel Rauzy
PY  - 2026
DO  - 10.4115/jla.2026.18.1
UR  - https://arxiv.org/abs/2509.20266
ID  - 2509.20266
ER  -