Bi-topological spaces and the continuity problem

MaRDI QIDQ5094901zbMATH OpenFDO

Authors Dieter Spreen

Publication date 5 August 2022

Full work available at URL https://arxiv.org/abs/2109.00914, http://topology.nipissingu.ca/tp/restricted/v61/tp61004.pdf

zbMATH Keywords

bi-continuousbi-topological spaceconstructive mathematicscontinuity problemeffective operatornumberingpairwise regularquasi-pseudo-metricrecursive mathematics

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Constructive and recursive analysis (03F60) Separability of topological spaces (54D65) Metric spaces, metrizability (54E35) Bitopologies (54E55)

Recommendations

• Some results related to the continuity problem
• scientific article; zbMATH DE number 1678391
• Effective continuities on effective topological spaces
• scientific article; zbMATH DE number 3896924
• On effective topological spaces

Cites work

• Algorithmic operators in constructive metric spaces
• Asymmetry and duality in topology
• Bitopological Spaces
• C-complete quasi-uniform spaces
• Church's thesis, continuity, and set theory
• Completeness of Quasi-Uniform and Syntopological Spaces
• Computability concepts for programming language semantics
• Computability theory in admissible domains
• Continuity and comprehension in intuitionistic formal systems
• Effective operations on partial recursive functions
• scientific article; zbMATH DE number 3132764 (Why is no real title available?)
• scientific article; zbMATH DE number 3896924 (Why is no real title available?)
• scientific article; zbMATH DE number 4043227 (Why is no real title available?)
• scientific article; zbMATH DE number 4094358 (Why is no real title available?)
• scientific article; zbMATH DE number 3183055 (Why is no real title available?)
• scientific article; zbMATH DE number 3664931 (Why is no real title available?)
• scientific article; zbMATH DE number 3285221 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• On effective topological spaces
• Recursive metric spaces
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
• The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals

Cited in

(1)

• Bi-topological spaces and the Continuity Problem

This page was built for publication: Bi-topological spaces and the continuity problem

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