Bild des Jahres FWFDer Wissenschaftsfonds Bild des Jahres
Close Window X
 

Project number   Stand-alone Projects  P20835
Title   Set Theory: the hyperuniverse, Ramsey theory
Principal investigator   FRIEDMAN Sy David
Approval date   23.06.2008
University / Research institution   Kurt Gödel Center for Mathematical Logic, Universität Wien
Scientific field(s)  
Keywords   consistency, Gamma-logic, large cardinals, Ramsey theory
Homepage   http://www.logic.univie.ac.at/Home.html


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. Quasi lower bounds on consistency,
2. Gamma-logic,
3. Cardinality, cofinality and continuum spectra and
4. Ramsey theory.



  Disclaimer  
  The content is not edited by the FWF, and the sole responsibility therefore lies with the author.  
 
 
 
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Haus der Forschung, Sensengasse 1, A-1090 Wien
T +43-1-505 67 40 F +43-1-505 67 39
office@fwf.ac.at - www.fwf.ac.at