A blend of methods of recursion theory and topology. (Q1412834): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 18:00, 31 January 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