Pure Set Theory

Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems at the University of Vienna in the 1930`s. In his later work, Gödel focused on set theory, the topic of this proposal. Set theory today has two closely related aspects, the pure and the applied. The former is concerned with an analysis of infinity, leading to a picture of the universe of sets as a whole, accompanied by a detailed study of definability within set theory. This proposal focuses on several aspects of pure set theory: Borel quotients, forcing axioms, the definable SCH and strong absoluteness.

Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems at the University of Vienna in the 1930`s. In his later work, Gödel focused on set theory, the topic of this proposal. Set theory today has two closely related aspects, the pure and the applied. The former is concerned with an analysis of infinity, leading to a picture of the universe of sets as a whole, accompanied by a detailed study of definability within set theory. This project focused on several aspects of both pure and applied set theory: definable infinitary combinatorics, large cardinal forcing and the descriptive set theory of C* algebras.