Louise Hay Logic Seminar
Generic Ultrapowers II
Abstract: Continuing on last week's theme, where we presented Solovay's original proof of the Stationary Splitting Theorem, we will continue examining the method of ultrapowers generated by filters that are $V$-ultra over a ground model $V$. We focus on a $V$-generic filter generated by a Lévy collapse to prove Silver's Theorem that the first failure of the SCH cannot occur at a singular cardinal of uncountable cofinality.
Thursday March 8, 2018 at 4:00 PM in SEO 427