Peter Paeppinghaus

Available identifiers

zbMath Open pappinghaus.peterMaRDI QIDQ595647

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2753718	2001-11-11	Paper
On the logic of UNITY	1997-02-28	Paper
Ptykes in Gödels T und Definierbarkeit von Ordinalzahlen. (Ptykes in Gödel's T and definability of ordinal numbers)	1989-01-01	Paper
Rekursion über Dilatoren und die Bachmann-Hierarchie. (Recursion over dilators and the Bachmann hierarchy)	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3027001	1987-01-01	Paper
Maschinen, Intelligenz und Selbstbezüglichkeit - Gedanken zu einem Bestseller	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3695279	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778017	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690207	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3712330	1984-01-01	Paper
Recursive coloration of countable graphs	1983-01-01	Paper
Nondeterministic three-valued logic: isotonic and guarded truth-functions	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3322096	1983-01-01	Paper
A result on implications of Σ1-sentences and its application to normal form theorems	1981-01-01	Paper
A version of the ∑1-reflection principle for CFA provable in PRA	1980-01-01	Paper

Research outcomes over time

This page was built for person: Peter Paeppinghaus