Justus Diller

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
Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory	2016-12-07	Paper
scientific article; zbMATH DE number 6307929 (Why is no real title available?)	2014-06-24	Paper
scientific article; zbMATH DE number 5862925 (Why is no real title available?)	2011-03-09	Paper
Functional interpretations of classical systems	2011-03-09	Paper
Logical problems of functional interpretations Annals of Pure and Applied Logic	2002-03-13	Paper
Realizability and intuitionistic logic Synthese	1984-01-01	Paper
scientific article; zbMATH DE number 3621712 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3648704 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3559560 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3504952 (Why is no real title available?)	1975-01-01	Paper
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen Archiv für Mathematische Logik und Grundlagenforschung	1974-01-01	Paper
G-Hüllen metrischer Teilräume. (G-hulls of metric subspaces) Mathematische Annalen	1973-01-01	Paper
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen Archiv für Mathematische Logik und Grundlagenforschung	1971-01-01	Paper
Eine algebraische Beschreibung der metrischen Ebenen mit ineinander beweglichen Geraden Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg	1970-01-01	Paper
NICHT‐PERSISTENZ DER PARALLELITÄT IN AFFINEN EBENEN Mathematical Logic Quarterly	1969-01-01	Paper
scientific article; zbMATH DE number 3289440 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3255376 (Why is no real title available?)	1967-01-01	Paper
scientific article; zbMATH DE number 3203778 (Why is no real title available?)	1966-01-01	Paper
Zur Galoistheorie pythagoreischer Körper Archiv der Mathematik	1965-01-01	Paper

Research outcomes over time

This page was built for person: Justus Diller