scientific article; zbMATH DE number 7568608
From MaRDI portal
Publication date: 5 August 2022
Full work available at URL: https://arxiv.org/abs/2109.00914
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive mathematicscontinuity problemnumberingeffective operatorquasi-pseudo-metricrecursive mathematicspairwise regularbi-continuousbi-topological space
Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Bitopologies (54E55) Theory of numerations, effectively presented structures (03D45) Separability of topological spaces (54D65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Continuity and comprehension in intuitionistic formal systems
- Computability concepts for programming language semantics
- C-complete quasi-uniform spaces
- Asymmetry and duality in topology
- Effective operations on partial recursive functions
- Bitopological Spaces
- Church's thesis, continuity, and set theory
- 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
- Completeness of Quasi-Uniform and Syntopological Spaces
- On effective topological spaces
- Computability theory in admissible domains
- Algorithmic operators in constructive metric spaces
- Recursive metric spaces
