New definitions in the theory of Type 1 computable topological spaces

MaRDI QIDQ6461027zbMATH OpenFDO

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)