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.

Beteiligte Wissenschaftler:

Dipl. Math. G. Lee, Dipl. Math. I. Lepper, Prof. Dr. W. Pohlers, Prof. Dr. A. Weiermann