Bild des Jahres FWFDer Wissenschaftsfonds Bild des Jahres
Close Window X
 

Project number   Stand-alone Projects  P19375
Title   Pure Set Theory
Principal investigator   FRIEDMAN Sy David
Approval date   03.10.2006
University / Research institution   Kurt Gödel Center for Mathematical Logic, Universität Wien
Scientific field(s)  
Keywords   Ideals, Forcing axioms, singular cardinals, Absoluteness
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. In his later work, Gödel focused on set theory, the topic of this proposal. Set theory today has two closely related aspects, the pure and the applied. The former is concerned with an analysis of infinity, leading to a picture of the universe of sets as a whole, accompanied by a detailed study of definability within set theory.

This proposal focuses on several aspects of pure set theory: Borel quotients, forcing axioms, the definable SCH and strong absoluteness.



  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