Set Theory: inner models, outer models, projective sets

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. This project, to be carried out at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna, focuses on set theory, the area of logic that most interested Gödel in his later years. The proposed topics are: 1. Internal consistency, 2. Large cardinals and L-like principles and 3. Projective definability and coding.

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. This project, carried out at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna, focused on set theory, the area of logic that most interested Gödel in his later years. The topics were: L-like principles, pure descriptive set theory and large cardinal forcing.