Regularitätseigenschaften in der Mengenlehre

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 wurde Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. In diesem Projekt werden die Reguläritätseigenschaften der Mengenlehre untersucht.

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 wurde Gödel am meisten von der Mengenlehre, dem Thema dieses Projekts, interessiert. In diesem Projekt wurden die Reguläritätseigenschaften der Mengenlehre untersucht. Im Laufen des Projekts haben wir die Untersuchung von Regularitätseigenschaften für den klassischen Baire-Raum auf die verallgemeinerten Baire- Räume erfolgreich adaptiert. Auch haben wir neue Methode entwickelt, mit denen wir neue Resultate im klassischen Kontext bzgl. des Diagrams von Cichon bewiesen können.