Putting a diamond inside the square

Abstract. By a 35-year-old theorem of Shelah, $\square_\lambda+\diamondsuit(\lambda^+)$ does not imply square-with-built-in-diamond_lambda for regular uncountable cardinals $\lambda$.

Here, it is proved that $\square_\lambda+\diamondsuit(\lambda^+)$ is equivalent to square-with-built-in-diamond_lambda for every singular cardinal $\lambda$.

Downloads:

Citation information:

A. Rinot, Putting a diamond inside the square, Bull. Lond. Math. Soc., 47(3): 436-442, 2015.