Peter Paeppinghaus

From MaRDI portal
Person:595647


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