• 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