Similar Items: Topological Scott Convergence Theorem
- The Rice-Shapiro theorem in Computable Topology
- The Sierpinski Object in the Scott Realizability Topos
- Products of effective topological spaces and a uniformly computable Tychonoff Theorem
- Algorithmic randomness for Doob's martingale convergence theorem in continuous time
- Uniqueness of directed complete posets based on Scott closed set lattices
- A Note on the Topologicity of Quantale-Valued Topological Spaces