Robert A. Di Paola

11 papers A* 1Journal 10
YearRankTypeTitle / Venue / Authors
1991 J jnl
Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic.
J. Symb. Log.
Robert A. Di Paola, Franco Montagna
1987 J jnl
Dominical Categories: Recursion Theory without Elements.
J. Symb. Log.
Robert A. Di Paola, Alex Heller
1981 J jnl
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.
Robert A. Di Paola
1978 J jnl
The operator gap theorem in α-recursion theory.
Arch. Math. Log.
Robert A. Di Paola
1975 J jnl
A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic.
J. Symb. Log.
Robert A. Di Paola
1973 J jnl
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.
J. ACM
Robert A. Di Paola
1971 A* conf
The Relational Data File and the Decision Problem for Classes of Proper Formulas.
SIGIR
Robert A. Di Paola
1969 J jnl
Random Sets in Subrecursive Hierarchies.
J. ACM
Robert A. Di Paola
1969 J jnl
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.
J. ACM
Robert A. Di Paola
1967 J jnl
Some Theorems on Extensions of Arithmetic.
J. Symb. Log.
Robert A. Di Paola
1966 J jnl
Pseudo-Complements and Ordinal Logics based on Consistency Statements.
J. Symb. Log.
Robert A. Di Paola