 | 1991 |
|---|
| 10 |       | 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): 643-660 (1991) |
| 1987 |
|---|
| 9 | | Robert A. Di Paola,
Alex Heller:
Dominical Categories: Recursion Theory without Elements.
J. Symb. Log. 52(3): 594-635 (1987) |
| 1981 |
|---|
| 8 | | 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): 216-232 (1981) |
| 1975 |
|---|
| 7 | | Robert A. Di Paola:
A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic.
J. Symb. Log. 40(3): 398-400 (1975) |
| 1973 |
|---|
| 6 |  | Robert A. Di Paola:
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.
J. ACM 20(1): 112-126 (1973) |
| 1971 |
|---|
| 5 | | Robert A. Di Paola:
The Relational Data File and the Decision Problem for Classes of Proper Formulas.
SIGIR 1971: 95-104 |
| 1969 |
|---|
| 4 | | Robert A. Di Paola:
Random Sets in Subrecursive Hierarchies.
J. ACM 16(1): 621-630 (1969) |
| 3 | | Robert A. Di Paola:
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.
J. ACM 16(2): 324-327 (1969) |
| 1967 |
|---|
| 2 | | Robert A. Di Paola:
Some Theorems on Extensions of Arithmetic.
J. Symb. Log. 32(2): 180-189 (1967) |
| 1966 |
|---|
| 1 | | Robert A. Di Paola:
Pseudo-Complements and Ordinal Logics based on Consistency Statements.
J. Symb. Log. 31(3): 359-364 (1966) |
