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!

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.