Similar Items: The Rice-Shapiro theorem in Computable Topology
- Topological Scott Convergence Theorem
- Products of effective topological spaces and a uniformly computable Tychonoff Theorem
- Computably regular topological spaces
- Characterization theorem for the conditionally computable real functions
- A Note on the Topologicity of Quantale-Valued Topological Spaces
- Statman's Hierarchy Theorem