Title of article
A blend of methods of recursion theory and topology Original Research Article
Author/Authors
Iraj Kalantari، نويسنده , , Larry Welch، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
38
From page
141
To page
178
Abstract
This paper is a culmination of our new foundations for recursive analysis through recursive topology as reported in Kalantari and Welch (Ann Pure Appl. Logic 93 (1998) 125; 98 (1999) 87). While in those papers we developed groundwork for an approach to point free analysis and applied recursion theory, in this paper we blend techniques of recursion theory with those of topology to establish new findings. We present several new techniques different from existing ones which yield interesting results. Incidental to our work is a unifying explanation of various schools of study for recursive analysis.
Keywords
Recursion theory , topology , Recursive topology , Recursive analysis
Journal title
Annals of Pure and Applied Logic
Serial Year
2003
Journal title
Annals of Pure and Applied Logic
Record number
889926
Link To Document