Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...) natural strengthenings of ZFC, primarily by Large Cardinal or Reflection Axioms. These two directions have tension between them in that Jensen's principles, which tend to suggest a rather rigid mathematical universe, are at odds with reflection properties. A third development was the discovery by Shelah of "PCF Theory", a generalization of cardinal arithmetic that is largely determined inside ZFC. In this paper we consider interactions between these three theories in the context of singular cardinals, focusing on the various implications between square and scales, and on consistency results between relatively strong forms of square and stationary set reflection. (shrink)

Let λ denote a singular cardinal. Zeman, improving a previous result of Shelah, proved that $\square _{\lambda}^{\ast}$ together with 2 λ = λ⁺ implies $\lozenge _{S}$ for every S ⊆ λ⁺ that reflects stationarily often. In this paper, for a set S ⊆ λ⁺, a normal subideal of the weak approachability ideal is introduced, and denoted by I[S; λ]. We say that the ideal is fat if it contains a stationary set. It is proved: 1. if I[S; λ] is fat, (...) then $\text{NS}_{\lambda ^{+}}$ ↾ S is non-saturated; 2. if I[S; λ] is fat and 2 λ = λ⁺, then $\lozenge _{S}$ holds; 3. $\square _{\lambda}^{\ast}$ implies that I[S; λ] is fat for every S ⊆ λ⁺ that reflects stationarily often; 4. it is relatively consistent with the existence of a supercompact cardinal that $\square _{\lambda}^{\ast}$ fails, while I[S; λ] is fat for every stationary S ⊆ λ⁺ that reflects stationarily often. The stronger principle $\lozenge _{\lambda ^{+}}^{\ast}$ is studied as well. (shrink)