Co-c.e. sets with disconnected complements (Q722203)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Co-c.e. sets with disconnected complements |
scientific article |
Statements
Co-c.e. sets with disconnected complements (English)
0 references
23 July 2018
0 references
computable metric space
0 references
co-c.e. set
0 references
computable point
0 references
effective local connectedness
0 references
