Approximate decidability in euclidean spaces (Q4798203)
From MaRDI portal
scientific article; zbMATH DE number 1884763
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximate decidability in euclidean spaces |
scientific article; zbMATH DE number 1884763 |
Statements
Approximate decidability in euclidean spaces (English)
0 references
19 March 2003
0 references
computable analysis
0 references
approximate decidability
0 references
recursivity in analysis
0 references
approximate computability
0 references
resolvable set
0 references
topological arithmetical hierarchy
0 references
degree of reducibility
0 references
oracle Turing machines
0 references
