Diagonal supercompact Radin forcing

Abstract

Motivated by the goal of constructing a model in which there are no $\kappa$-Aronszajn trees for any regular $\kappa >{\aleph }_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square fail.

arXiv comment19 pages