Computably regular topological spaces

DOI10.2168/LMCS-9(3:5)2013zbMath1285.03076arXiv1306.4078MaRDI QIDQ2846577

Weihrauch, Klaus

Publication date: 6 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.4078

zbMATH Keywords

computable analysisseparation axiomscomputable topology

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Related Items (1)

Algorithmic randomness over general spaces

This page was built for publication: Computably regular topological spaces