Computable bases

DOI10.1016/J.APAL.2026.103839MaRDI QIDQ7404264zbMATH OpenFDO

Authors Vasco Brattka, Emmanuel Rauzy

Publication date 2027

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103839

zbMATH Keywords

computable analysiscomputable topologytheory of representations

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)

Cites work

• Admissibly Represented Spaces and Qcb-Spaces
• Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
• Effective bases and notions of effective second countability in computable analysis
• Extended admissibility.
• scientific article; zbMATH DE number 3987247 (Why is no real title available?)
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• Metric spaces in synthetic topology
• On the topological aspects of the theory of represented spaces
• Overt choice
• Spaces allowing Type‐2 Complexity Theory revisited
• Theory of representations

This page was built for publication: Computable bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7404264)