Fachbereich 10 - Mathematik und Informatik
Institut für Mathematische Logik und Grundlagenforschung
Arbeitsbereich Prof. Dr. Andreas Weiermann

Beweistheorie und subrekursive Hierarchien

Es werden die in formalen Systemen berechenbaren Funktionen klassifiziert. Ferner werden Teilklassen der rekursiven Funktionen gemäß ihrer ordinalen Komplexität in Hierarchien aufgefächert. Das Projekt wird fortgesetzt.

Beteiligte Wissenschaftler:

Prof. Dr. A. Weiermann, Dr. M. Möllerfeld, Dipl.Math. G. Wilken, Dipl.Math. C. Duchhardt

Veröffentlichungen:

G₀ may be minimal subrecursively inaccessible. Mathematical Logic Quarterly 47 (2001) 397 - 408.

Some interesting connections between the slow growing hierarchy and the Ackermann function. The Journal of Symbolic Logic 66 (2001) 609 - 628.

Slow versus fast growing. Proceedings of the Foundations of the Formal Sciences. Synthese 133 (2002) 13 - 19.

A classification of rapidly growing Ramsey functions. Erscheint bei den Proceedings of the AMS.