Mengenlehre: das Hyperuniversum, die Ramseysche Theorie

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 war Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. Dieses Projekt wird die folgenden Bereiche der Mengenlehre untersuchen: 1. Quasiunterschränke für die Konsistenz, 2. Gamma-Logik, 3. Kardinalität-, Kofinalität- und Kontinuumspektren und 4. Ramseysche Theorie.

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 war Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. Dieses Projekt wird die folgenden Bereiche der Mengenlehre untersuchen: 1. Quasiunterschränke für die Konsistenz, 2. Gamma-Logik, 3. Kardinalität-, Kofinalität- und Kontinuumspektren und 4. Ramseysche Theorie.