Robert A. Di Paola

According to our database, Robert A. Di Paola authored at least 11 papers between 1966 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic.

Robert A. Di Paola, Franco Montagna

J. Symb. Log., 1991

1987

Dominical Categories: Recursion Theory without Elements.

Robert A. Di Paola, Alex Heller

J. Symb. Log., 1987

1981

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.

Robert A. Di Paola

J. Symb. Log., 1981

1978

The operator gap theorem in α-recursion theory.

Robert A. Di Paola

Arch. Math. Log., 1978

1975

A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic.

Robert A. Di Paola

J. Symb. Log., 1975

1973

The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results.

Robert A. Di Paola

J. ACM, 1973

1971

The Relational Data File and the Decision Problem for Classes of Proper Formulas.

Robert A. Di Paola

Proceedings of the ACM SIGIR Information Storage and Retrieval Symposium, 1971

1969

Random Sets in Subrecursive Hierarchies.

Robert A. Di Paola

J. ACM, 1969

The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

Robert A. Di Paola

J. ACM, 1969

1967

Some Theorems on Extensions of Arithmetic.

Robert A. Di Paola

J. Symb. Log., 1967

1966

Pseudo-Complements and Ordinal Logics based on Consistency Statements.

Robert A. Di Paola

J. Symb. Log., 1966