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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8670428991317749
0 references
0.8413114547729492
0 references
0.8081967830657959
0 references
0.791316032409668
0 references
0.7819482684135437
0 references