Institut für Mathematische Logik und Grundlagenforschung	Tel. (0251) 83-33790 Fax: (0251) 83-33078 e-mail: logik@uni-muenster.de www: wwwmath.uni-muenster.de/math/inst/logik/
Einsteinstr. 62 48143 Münster Direktor: Prof. Dr. Ralf Schindler
Forschungsschwerpunkte 2003 - 2004    zurück    weiter

Beweistheorie Analytische Kombinatorik und Beweistheorie   Zunächst werden gewissen Ordinalzahlbezeichnungssystemen und Baumklassen erzeugende Funktionen zugeordnet. Analytische Eigenschaften dieser Funktionen werden verwendet, um beweistheoretische Unabhängigkeitsresultate zu klassifizieren. Neben beweistheoretischen Methoden finden hierbei auch Methoden und Ergebnisse der komplexen Analysis und der Algorithmenanalyse eine Anwendung. Das Projekt wird fortgesetzt. Drittmittelgeber: DFG Beteiligte Wissenschaftler: Dipl Math. G. Lee, Prof. Dr. A. R. Woods, Prof Dr. W. Pohlers, Prof. Dr. A. Weiermann Veröffentlichungen: A. Weiermann: An application of graphical enumeration to PA. The Journal of Symbolic Logic 68 (2003) 5 - 16. A. Weiermann: Simply terminating rewrite systems with long derivations. Angenommen März 2003 vom Archive for Mathematical Logic.