Louise Hay Logic Seminar
Noah Schoem
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