Similar Items: Computably Based Locally Compact Spaces
- Compact manifolds with computable boundaries
- Machine Space I: Weak exponentials and quantification over compact spaces
- Finite dimensional Hilbert spaces are complete for dagger compact closed categories
- Computably regular topological spaces
- Feedback computability on Cantor space
- Localic completion of uniform spaces