Local computability of computable metric spaces and computability of co-c.e. continua (Q2901980)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Local computability of computable metric spaces and computability of co-c.e. continua |
scientific article; zbMATH DE number 6062706
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Local computability of computable metric spaces and computability of co-c.e. continua |
scientific article; zbMATH DE number 6062706 |
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
