Abstract
We develop a version of Namba forcing which is useful for constructing models with no good scale on $\aleph_\omega$. A model is produced in which $\Box_{\aleph_n}$ holds for all finite $n \ge 1$, but there is no good scale on $\aleph_\omega$; this strengthens a theorem of Cummings, Foreman, and Magidor [3] on the non-compactness of square.
Citation
John Krueger. "Namba forcing and no good scale." J. Symbolic Logic 78 (3) 785 - 802, September 2013. https://doi.org/10.2178/jsl.7803050
Information