Robert A. Di Paola

Publication Activity (10 Years)

Years Active: 1966-1991
Publications (10 Years): 0

Publications

Robert A. Di Paola, Franco Montagna
Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. J. Symb. Log. 56 (2) (1991)
Robert A. Di Paola, Alex Heller
Dominical Categories: Recursion Theory without Elements. J. Symb. Log. 52 (3) (1987)
Robert A. Di Paola
A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions. J. Symb. Log. 46 (2) (1981)
Robert A. Di Paola
The operator gap theorem in α-recursion theory. Arch. Math. Log. 19 (1) (1978)
Robert A. Di Paola
A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic. J. Symb. Log. 40 (3) (1975)
Robert A. Di Paola
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results. J. ACM 20 (1) (1973)
Robert A. Di Paola
The Relational Data File and the Decision Problem for Classes of Proper Formulas. SIGIR (1971)
Robert A. Di Paola
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. J. ACM 16 (2) (1969)
Robert A. Di Paola
Random Sets in Subrecursive Hierarchies. J. ACM 16 (1) (1969)
Robert A. Di Paola
Some Theorems on Extensions of Arithmetic. J. Symb. Log. 32 (2) (1967)
Robert A. Di Paola
Pseudo-Complements and Ordinal Logics based on Consistency Statements. J. Symb. Log. 31 (3) (1966)