Effective continuities on effective topological spaces (Q864437)
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: Effective continuities on effective topological spaces |
scientific article; zbMATH DE number 5123562
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Effective continuities on effective topological spaces |
scientific article; zbMATH DE number 5123562 |
Statements
Effective continuities on effective topological spaces (English)
0 references
8 February 2007
0 references
effective continuity
0 references
real-valued functions
0 references
effective topological spaces
0 references
Type-2 computability
0 references
effective uniform topological spaces
0 references
effective local uniform continuity
0 references
0.8782989382743835
0 references
0.8574753999710083
0 references
0.8418728113174438
0 references
