Forschungsbericht 1999-2000   
WWU-Logo Institut für Mathematische Logik
und Grundlagenforschung
Einsteinstr. 62
48149 Münster
Tel. (0251) 83-33760/61, 33768/33078, 33762/33078
Fax: (0251) 83-33078
e-mail: dillerj/pohlers/weierma@math.uni-muenster.de
WWW: http://wwwmath.uni-muenster.de/math/inst/logik

Direktoren: Prof. Dres. Justus Diller, Wolfram Pohlers

 
 
 
[Pfeile gelb] Forschungsschwerpunkte 1999 - 2000
Fachbereich 10 - 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. Ferner können sie zur Begründung und Analyse konstruktiv-logischer Prinzipien herangezogen werden. 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, Dr. W. Burr, Prof. Dr. J. Diller (Leiter), Prof. Dr. A. Weiermann, Dipl. Math. G. Wilken
 
 
[Startseite (Rektorat)] [Inhaltsverzeichnis] [vorherige Seite] [nächste Seite]

Hans-Joachim Peter
EMail: vdv12@uni-muenster.de
HTML-Einrichtung: Izabela Klak
Informationskennung: FO10BA02
Datum: 2001-05-09