A blend of methods of recursion theory and topology. (Q1412834): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q1295391 |
||
| Property / author | |||
| Property / author: Lawrence Welch / rank | |||
Revision as of 17:48, 22 February 2024
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
