Computable Separation in Topology, from T_0 to T_3.
From MaRDI portal
Publication:2917335
DOI10.4230/OASICS.CCA.2009.2276zbMATH Open1247.03105OpenAlexW1560317940MaRDI QIDQ2917335
Publication date: 28 September 2012
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2009/2276/pdf/Weihrauch.2276.pdf
Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Theory of numerations, effectively presented structures (03D45) Computation over the reals, computable analysis (03D78)
This page was built for publication: Computable Separation in Topology, from T_0 to T_3.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2917335)