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 :
بازگشت