Computably regular topological spaces

DOI10.2168/LMCS-9(3:5)2013MaRDI QIDQ2846577zbMATH OpenFDO

Authors Klaus Weihrauch

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 analysiscomputable topologyseparation axioms

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)

Abstract: This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation. Several computable T3- and Tychonoff separation axioms are introduced and their logical relation is investigated. A number of implications between these axioms are proved and several implications are excluded by counter examples, however, many questions have not yet been answered. Known results on computable metrization of T3-spaces from M. Schr/"oder (1998) and T. Grubba, M. Schr/"oder and the author (2007) are proved under uniform assumptions and with partly simpler proofs, in particular, the theorem that every computably regular computable topological space with non-empty base elements can be embedded into a computable metric space. Most of the computable separation axioms remain true for finite products of spaces.

Recommendations

• Computable separation in topology, from T₀ to T₃
• Computable separation in topology, from \(T_{0}\) to \(T_{2}\)
• On computable metrization
• Computable metrization
• Products of effective topological spaces and a uniformly computable Tychonoff theorem

Cited in

(13)

• Epiregular topological spaces
• Products of effective topological spaces and a uniformly computable Tychonoff theorem
• Computable separation in topology, from T₀ to T₃
• Computable separation in topology, from \(T_{0}\) to \(T_{2}\)
• scientific article; zbMATH DE number 1746047 (Why is no real title available?)
• scientific article; zbMATH DE number 943183 (Why is no real title available?)
• On computable metrization
• Computable metrization
• Algorithmic randomness over general spaces
• Computably discrete represented spaces
• Effective second countability in computable analysis
• Multi-representation associated to the numbering of a subbasis and formal inclusion relations
• Effective bases and notions of effective second countability in computable analysis

This page was built for publication: Computably regular topological spaces

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