[Russian Text Ignored.]
DOI10.1002/MALQ.19780240903zbMath0415.03034OpenAlexW4234168413MaRDI QIDQ5893900
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780240903
computable analysismetrizabilitycomputable separation axiomseffective homeomorphismeffectively metrizable spaceseffectively open setseffectively separable spacesnumerated topological spaces
Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Topological spaces and generalizations (closure spaces, etc.) (54A05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Theory of numerations, effectively presented structures (03D45) Generalities in topology (54A99)
Related Items (1)
This page was built for publication: [Russian Text Ignored.]