Louise Hay Logic Seminar

Noah Schoem
Class forcing and Easton's Theorem
Abstract: Cohen (1963) proved $Con(ZFC)\implies Con\left(ZFC+2^{\aleph_0}=\aleph_2\right)$ using the method of forcing. Further work showed that $Con(ZFC)\implies Con\left(ZFC+2^{\aleph_0}=\kappa\right)$ for any $\kappa$ of uncountable cofinality. This raises the question of how the continuum function $\kappa\mapsto 2^\kappa$ can behave, which has been answered for regular cardinals (Easton 1970).
We will cover Easton's Theorem and the techniques required to prove it, namely class-sized forcing and product forcing with Easton support.
Thursday November 17, 2016 at 4:00 PM in SEO 427
UIC LAS MSCS > seminars >