Forschungsbericht 1995-96 | |
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 | |
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 | |||
Hans-Joachim Peter