Project number		Stand-alone Projects  P23316
Title		HOD and Higher Descriptive Set Theory
Principal investigator		FRIEDMAN Sy David
Approval date		29.11.2010
University / Research institution		Kurt Gödel Center for Mathematical Logic, Universität Wien
Scientific field(s)
Keywords		large cardinals, ordinal definability, Borel sets
Homepage		http://www.logic.univie.ac.at/~sdf/

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.