New definitions in the theory of Type 1 computable topological spaces

arXiv2311.16340MaRDI QIDQ6461027FDOQ6461027

Authors: Emmanuel Rauzy 

Publication date: 27 November 2023

Mathematics Subject Classification ID

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

This page was built for publication: New definitions in the theory of Type 1 computable topological spaces

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