Peter Paeppinghaus

From MaRDI portal



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!

PublicationDate of PublicationType
scientific article; zbMATH DE number 1670521 (Why is no real title available?)2001-11-11Paper
On the logic of UNITY
Theoretical Computer Science
1997-02-28Paper
Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)
Archive for Mathematical Logic
1989-01-01Paper
Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)
Archive for Mathematical Logic
1989-01-01Paper
scientific article; zbMATH DE number 4014709 (Why is no real title available?)1987-01-01Paper
Maschinen, Intelligenz und Selbstbezüglichkeit - Gedanken zu einem Bestseller
Mathematische Semesterberichte
1986-01-01Paper
scientific article; zbMATH DE number 3920464 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 4037857 (Why is no real title available?)1985-01-01Paper
scientific article; zbMATH DE number 3913665 (Why is no real title available?)1984-01-01Paper
scientific article; zbMATH DE number 3939350 (Why is no real title available?)1984-01-01Paper
Recursive coloration of countable graphs
Annals of Pure and Applied Logic
1983-01-01Paper
Nondeterministic three-valued logic: isotonic and guarded truth-functions
Studia Logica
1983-01-01Paper
scientific article; zbMATH DE number 3853065 (Why is no real title available?)1983-01-01Paper
A result on implications of Σ1-sentences and its application to normal form theorems
Journal of Symbolic Logic
1981-01-01Paper
A version of the ∑1-reflection principle for CFA provable in PRA
Archiv für Mathematische Logik und Grundlagenforschung
1980-01-01Paper


Research outcomes over time


This page was built for person: Peter Paeppinghaus