Project number 

Standalone 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, Gammalogic, 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. Gammalogic,
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. 

