Robert A. Di Paola - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

1991

Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano ArithmeticRobert A. Di Paola, Franco Montagna. JSYML, 56(2):643-660, 1991.

1987

Dominical Categories: Recursion Theory without ElementsRobert A. Di Paola, Alex Heller. JSYML, 52(3):594-635, 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 FunctionsRobert A. Di Paola. JSYML, 46(2):216-232, 1981.

1978

The operator gap theorem in α-recursion theoryRobert A. Di Paola. AML, 19(1):115-129, 1978. [doi]

1975

A Theorem on Shortening the Length of Proof in Formal Systems of ArithmeticRobert A. Di Paola. JSYML, 40(3):398-400, 1975.

1973

The Solvability of the Decision Problem for Classes of Proper Formulas and Related ResultsRobert A. Di Paola. JACM, 20(1):112-126, 1973. [doi]

1971

The Relational Data File and the Decision Problem for Classes of Proper FormulasRobert A. Di Paola. sigir 1971: 95-104 [doi]

1969

Random Sets in Subrecursive HierarchiesRobert A. Di Paola. JACM, 16(1):621-630, 1969. [doi]

The Recursive Unsolvability of the Decision Problem for the Class of Definite FormulasRobert A. Di Paola. JACM, 16(2):324-327, 1969. [doi]

1967

Some Theorems on Extensions of ArithmeticRobert A. Di Paola. JSYML, 32(2):180-189, 1967.

1966

Pseudo-Complements and Ordinal Logics based on Consistency StatementsRobert A. Di Paola. JSYML, 31(3):359-364, 1966.

Sign in or sign up to see more results.

runs on WebDSL