A blend of methods of recursion theory and topology. (Q1412834): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:15, 5 March 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