Effective continuities on effective topological spaces (Q864437)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effective continuities on effective topological spaces |
scientific article |
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
