# Andrés Caicedo: Second incompleteness

Monday, October 7 from 3 to 4pm
Room: Mathematics 136
Speaker: Andrés Caicedo (BSU)
Title: Second incompleteness

Abstract: We sketch an essentially model theoretic proof (due to
Woodin) of the second incompleteness theorem for ZF.

Be there or be a square principle!