Robert A. Di Paola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 1048040 (Why is no real title available?)	1998-01-26	Paper
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. Journal of Symbolic Logic	1992-06-27	Paper
Dominical categories: recursion theory without elements Journal of Symbolic Logic	1987-01-01	Paper
scientific article; zbMATH DE number 3916265 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3989334 (Why is no real title available?)	1985-01-01	Paper
A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories Proceedings of the American Mathematical Society	1984-01-01	Paper
The basic theory of partial \(\alpha\)-recursive operators Annali di Matematica Pura ed Applicata. Serie Quarta	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 Journal of Symbolic Logic	1981-01-01	Paper
The operator gap theorem in α-recursion theory Archiv für Mathematische Logik und Grundlagenforschung	1978-01-01	Paper
A theorem on shortening the length of proof in formal systems of arithmetic Journal of Symbolic Logic	1975-01-01	Paper
The Solvability of the Decision Problem for Classes of Proper Formulas and Related Results Journal of the ACM	1973-01-01	Paper
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas Journal of the ACM	1969-01-01	Paper
Random Sets in Subrecursive Hierarchies Journal of the ACM	1969-01-01	Paper
A note on dominishing the undecidable region of a recursively enumerable set Duke Mathematical Journal	1968-01-01	Paper
Some theorems on extensions of arithmetic¹ Journal of Symbolic Logic	1967-01-01	Paper
On sets represented by the same formula in distinct consistent axiomatizable Rosser theories Pacific Journal of Mathematics	1966-01-01	Paper
Some Properties of Pseudo-Complements of Recursively Enumerable Sets Transactions of the American Mathematical Society	1966-01-01	Paper
Pseudo-complements and ordinal logics based on consistency statements Journal of Symbolic Logic	1966-01-01	Paper

Research outcomes over time

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