Semicomputable manifolds in computable topological spaces (Q1704608)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semicomputable manifolds in computable topological spaces |
scientific article |
Statements
Semicomputable manifolds in computable topological spaces (English)
0 references
12 March 2018
0 references
computable metric space
0 references
computable topological space
0 references
semicomputable set
0 references
computable set
0 references
manifold with boundary
0 references
