Effective dispersion in computable metric spaces (Q2917331)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 6087948
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Effective dispersion in computable metric spaces |
scientific article; zbMATH DE number 6087948 |
Statements
28 September 2012
0 references
computable metric space
0 references
effective separating sequence
0 references
computability structure
0 references
effectively totally bounded computable metric space
0 references
effectively disp
0 references
Effective dispersion in computable metric spaces (English)
0 references
0.8792314529418945
0 references
0.795672595500946
0 references
0.7773658633232117
0 references
0.7758017182350159
0 references
0.7738747000694275
0 references
