Local computability of computable metric spaces and computability of co-c.e. continua (Q2901980)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Local computability of computable metric spaces and computability of co-c.e. continua |
scientific article |
Statements
Local computability of computable metric spaces and computability of co-c.e. continua (English)
0 references
1 August 2012
0 references
computable metric space
0 references
computable set
0 references
co-c.e. set
0 references
local computability
0 references
effective covering property
0 references
