Forschungsbericht 1995-96   
WWU-Logo Institut für mathematische Logik und Grundlagenforschung
Einsteinstr. 62
48149 Münster
Tel.: (0251) 83 - 3 37 60 / 61, 3 37 68, 3 33 07

Direktoren: Prof. Dres. J. Diller, W. Pohlers

 
 
 
[Pfeile grün] Forschungsschwerpunkte 1995 - 1996
Fachbereich 15 - Mathematik
Institut für mathematische Logik und Grundlagenforschung
 
  Die Forschung am Institut wird als Einzelforschung betrieben. Ihr Schwerpunkt liegt im konstruktiven Bereich der mathematischen Grundlagenforschung, insbesondere in Beweistheorie und Intuitionismus. Kooperation besteht besonders mit Logikern in Amsterdam (Prof. Dr. A. S. Troelstra), in München (Prof. Dr. W. Buchholz, Prof. Dr. K. Schütte), in Pittsburgh, PA, USA (Prof. Dr. W. Sieg), in Leeds, GB (Prof. Dr. St. Wainer), in Bern (Prof. Dr. G. Jäger), in Stanford, CA, USA (Prof. Dr. S. Feferman) und in Campinas, SP, Brasilien (Prof. Dr. W. A. Carnielli).
 
 A  Intuitionismus und Konstruktivismus
A1 Lambda-Kalkül
A2 Modelle der klassischen und intuitionistischen Arithmetik
A3 Funktionalinterpretationen
 B  Klassische Beweistheorie
B1 Beweistheoretische Untersuchungen prädikativer Axiomensysteme
B2 Ordinalzahlbezeichnungssysteme
B3 Imprädikative Beweistheorie und Mengenlehre
 
 
[Startseite Rektorat] [Inhaltsverzeichnis] [vorherige Seite] [nächste Seite]

Hans-Joachim Peter
EMail: VDV12@uni-muenster.de
Informationskennung: FO15B
Datum: 1998-06-13