Event Detail
Fri Sep 21, 2007 60 Evans Hall 4:10–6 PM |
Logic Colloquium Ralf Schindler (Math and Logic, Univ. of Münster) Forcing Axioms and Large Cardinals |
Forcing axioms state that under favorable conditions objects which may be forced to exist in fact do exist. Forcing axioms answer many questions which ZFC alone does not provide answers for; one reason for this is that most of them yield large cardinals. We’ll survey answered and unanswered questions from this area.