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.