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 Termersetzungssysteme   Es werden Reduktionslängen von terminierenden Reduktionssystemen klassifiziert. Für gewisse Fragmente von Gödel's T konnten optimale Ergebnisse erzielt werden. Das Projekt ist im Jahr 2004 beendet worden. Drittmittelgeber: Europäische Gemeinschaft Beteiligte Wissenschaftler: Dr. G. Moser, Prof Dr. W. Pohlers, Prof. Dr. A. Weiermann Veröffentlichungen: A. Weiermann: Relating derivation lengths with the slow-growing hierarchy directly. Proceedings of RTA 2003. A. Weiermann: Analytic combinatorics of the nested multiset ordering. Eingereicht beim Workshop on Termination 2003. A. Weiermann: Functorial properties of termination orderings. Eingereicht beim Workshop on Termination 2003. M. Baaz and G. Moser: On Generalizations of Semi-Terms of Particularly Simple Form. In Proceedings of the CSL 2002, pp 382 -3 96, 2002. Springer Verlag, LNCS 2471