Square on singulars.
Jensen introduced a combinatorial principle
"square on singulars", and showed that Global Square is equivalent to the conjunction
(for all kappa square_kappa) plus square on singulars
We discuss some upper and lower bounds for the strength of the failure of the "square on singulars" principle. This is a joint work with Sy Friedman
and Tomas Futas.