Jin Du : Diamond, Scales and SCH Down to $\aleph_{\omega^2}$

Posted by Sherwood Hachtman , part of the Logic Seminar.

At

Sept. 12, 2017, 4 p.m.

In

SEO 427

Abstract

Gitik and Rinot proved assuming the existence of a supercompact that it is consistent to have a strong limit cardinal $\kappa$ such that $2^\kappa=\kappa^+$, there is a very good scale at $\kappa$, and diamond fails along some reflecting stationary subset of $\kappa^+\cap \operatorname{cof}(\omega)$. I will force over Gitik and Rinot's model but with a modification to Gitik-Sharon diagonal Prikry forcing to get this result for $\kappa = \aleph_{\omega^2}$.