A blend of methods of recursion theory and topology. (Q1412834)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A blend of methods of recursion theory and topology. |
scientific article |
Statements
A blend of methods of recursion theory and topology. (English)
0 references
25 November 2003
0 references
This paper continues the authors' work [such as ibid. 93, 125--151 (1998; Zbl 0946.03052); ibid. 98, 87--110 (1999; Zbl 0954.03043)] providing a point-free foundation to computable/recursive analysis.
0 references
recursion theory
0 references
topology
0 references
recursive analysis
0 references
recursive topology
0 references
computable analysis
0 references
