Große Kardinalzahlen, Forcing und Determiniertheit

Die mathematische Logik erreichte die Moderne mit der Arbeit von Kurt Gödel an der Universität Wien, wo er in den dreißiger Jahren des vorigen Jahrhunderts seine berühmten Sätze zur Vollständig- keit und Unvollständigkeit der Logik erster Stufe bewies. In seinen späteren Jahren wurde Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. In diesem Projekt werden die großen Kardinalzahlen, das Forcing und das Determinacy untersucht.

In diesem Projekt haben wir mehrere Aspekte der modernen Mengenlehre erforscht. Themen waren das Axiom von Determinacy, die unendliche Kombinatorik, das Stable Core und Verallgemeinerungen des Lebegschen Dichtheitssatz. Unsere Arbeit wurde am Kurt Goedel Research Center vom Projektleiter in Zusammenarbeit mit drei Postdocs durchgeführt.