Regularity Properties in Set Theory

Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930`s. This project, to be based at the Kurt Gödel Resarch 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 topic is Regularity Properties.

Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930`s. This project, based at the Kurt Gödel Resarch 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 topic was Regularity Properties. In the course of the project we successfully lifted the study of regularity properties from the classical Baire space to generalised Baire spaces and also developed new tools to understand regularity properties in the classical setting associated to Cichon`s diagram of cardinal characteristics.