Noah Schoem : Generic Ultrapowers II

Posted by Noah Schoem , part of the Louise Hay Logic Seminar.

At

March 8, 2018, 4 p.m.

In

SEO 427

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.