Mengenlehre: Dichotomien und definierbare Wohlordnungen

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ändigkeit und Unvollständigkeit der Logik erster Stufe bewies. In seinen spätern Jahren interessierte sich Gödel am meisten für die Mengenlehre, dem Thema dieses Projekts. Dieses Projekt wird die folgenden Bereiche der Mengenlehre untersuchen: Dichotomiesätze in der deskriptiven Mengenlehre, höhere Kardinalzahlcharakteristiken und definierbare Wohlordnungen.

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ändigkeit und Unvollständigkeit der Logik erster Stufe bewies. In seinen späteren Jahren interessierte sich Gödel am meisten für die Mengenlehre, das Thema dieses Projekts. Dieses Projekt hat die folgenden Bereiche der Mengenlehre untersucht: Dichotomiesätze in der deskriptiven Mengenlehre, höhere Kardinalzahlcharakteristiken und definierbare Wohlordnungen.