Genericity and the Stable Core

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 Genericity and the Stable Core.

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 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 topic is Genericity and the Stable Core.