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 topics are: large cardinals and
combinatorial principles, the hereditarily ordinal definable sets and
the descriptive set theory of the uncountable.
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 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 researched topics were: large cardinals and combinatorial principles, the hereditarily ordinal definable sets and the descriptive set theory of the uncountable.