Universität Münster: Forschungsbericht 1997-98 - Inhaltsverzeichnis Institut für Mathematische Logik und Grundlagenforschung: Arbeitsbereich Prof. Dr. J. Diller

Forschungsbericht 1997-98
	Institut für Mathematische Logik und Grundlagenforschung Einsteinstr. 62 48149 Münster Tel. (0251) 83-33760/61, 33768/33078 Fax: (0251) 83-33078 e-mail: dillerj/pohlers/weierma@uni- muenster.de WWW: http://wwwmath.uni-muenster.de/math/logik Direktoren: Prof. Dres. Justus Diller, Wolfram Pohlers

				Forschungsschwerpunkte 1997 - 1998 Fachbereich 15 - Mathematik und Informatik Institut für Mathematische Logik und Grundlagenforschung Arbeitsbereich Prof. Dr. J. Diller

Funktionalinterpretationen Funktionalinterpretationen reduzieren das Widerspruchsfreiheitsproblem der interpretierten Theorien auf das Berechenbarkeitsproblem der interpretierenden Funktionale. Untersucht werden Funktionalinterpretationen der Arithmetik und der Mengenlehre. Hier konnte für die konstruktive Mengenlehre CZF eine vollständige Lösung erzielt werden. Das Projekt wird fortgesetzt. Beteiligte Wissenschaftler: Dr. A. Beckmann, Dipl.Math. W. Burr, Prof.Dr. J. Diller (Leiter), Dipl.Math. F. Gellern, Hdoz.Dr. A. Weiermann, Dipl.Math. G. Wilken

Hans-Joachim Peter
EMail: vdv12@uni-muenster.de
HTML-Einrichtung: Izabela Klak
Informationskennung: FO15BA03
Datum: 1999-05-31