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 |
||||
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 | Arbeitsbereich Prof. Dr. J. Diller | |||
1 | Lambda-Kalkül | |||
2 | Fragmente und Modelle der intuitionistischen Arithmetik | |||
3 | Funktionalinterpretationen | |||
4 | Scholz-Nachlass | |||
B | Arbeitsbereich Prof. Dr. W. Pohlers | |||
1 | Klassische Beweistheorie | |||
2 | Beweistheorie und Rekursionstheorie | |||
Hans-Joachim Peter