∏12-comprehension and the property of Ramsey

Grunddaten zum Promotionsverfahren

Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster

Zeitraum: bis 01.02.2008

Status: abgeschlossen

Promovend*in: Heinatsch, Christoph

Promotionsfach: Informatik

Abschlussgrad: Dr. rer. nat.

Verleihender Fachbereich: Fachbereich 10 - Mathematik und Informatik

Betreuer*innen: Pohlers, Wolfram

Institut für Mathematische Logik und Grundlagenforschung