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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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