Robert A. Di Paola

Available identifiers

zbMath Open di-paola.robert-aMaRDI QIDQ1078174

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4348126	1998-01-26	Paper
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.	1992-06-27	Paper
Dominical categories: recursion theory without elements	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691669	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3752374	1985-01-01	Paper
A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories	1984-01-01	Paper
The basic theory of partial \(\alpha\)-recursive operators	1983-01-01	Paper
A lift of a theorem of Friedberg: A Banach-Mazur functional that coincides with no α-recursive functional on the class of α-recursive functions	1981-01-01	Paper
The operator gap theorem in α-recursion theory	1978-01-01	Paper
A theorem on shortening the length of proof in formal systems of arithmetic	1975-01-01	Paper
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results	1973-01-01	Paper
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas	1969-01-01	Paper
Random Sets in Subrecursive Hierarchies	1969-01-01	Paper
A note on dominishing the undecidable region of a recursively enumerable set	1968-01-01	Paper
Some theorems on extensions of arithmetic1	1967-01-01	Paper
On sets represented by the same formula in distinct consistent axiomatizable Rosser theories	1966-01-01	Paper
Some Properties of Pseudo-Complements of Recursively Enumerable Sets	1966-01-01	Paper
Pseudo-complements and ordinal logics based on consistency statements	1966-01-01	Paper

Research outcomes over time

This page was built for person: Robert A. Di Paola