7 found
Order:
  1. Pseudo-Complements and Ordinal Logics Based on Consistency Statements.A. Di Paola Robert - 1966 - Journal of Symbolic Logic 31 (3):359-364.
  2. Some Properties of the Syntactic P-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic.Robert A. di Paola & Franco Montagna - 1991 - Journal of Symbolic Logic 56 (2):643-660.
  3.  18
    Dominical Categories: Recursion Theory Without Elements.Robert A. Di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  21
    A Lift of a Theorem of Friedberg: A Banach-Mazur Functional That Coincides with No Α-Recursive Functional on the Class of Α-Recursive Functions.A. Di Paola Robert - 1981 - Journal of Symbolic Logic 46 (2):216-232.
    R. M. Friedberg demonstrated the existence of a recursive functional that agrees with no Banach-Mazur functional on the class of recursive functions. In this paper Friedberg's result is generalized to both α-recursive functionals and weak α-recursive functionals for all admissible ordinals α such that $\lambda , where α * is the Σ 1 -projectum of α and λ is the Σ 2 -cofinality of α. The theorem is also established for the metarecursive case, α = ω 1 , where α (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  5.  12
    Some Theorems on Extensions of Arithmetic.A. Di Paola Robert - 1967 - Journal of Symbolic Logic 32 (2):180-189.
  6.  7
    A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic.A. Di Paola Robert - 1975 - Journal of Symbolic Logic 40 (3):398-400.
  7. Dominical Categories: Recursion Theory Without Elements.Robert A. di Paola & Alex Heller - 1987 - Journal of Symbolic Logic 52 (3):594-635.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography