The productivity of the κ-chain condition, where κ is a regular, uncountable cardinal, has been the focus of a great deal of set-theoretic research. In the 1970s, consistent examples of κ-cc posets whose squares are not κ-cc were constructed by Laver, Galvin, Roitman and Fleissner. Later, ZFC examples were constructed by Todorcevic, Shelah, and others. The most difficult case, that in which κ = ℵ 2 , was resolved by Shelah in 1997.In this work, we obtain analogous results regarding the infinite productivity of strong chain conditions, such as the Knaster property. Among other results, for any successor cardinal κ, we produce a ZFC example of a poset with precaliber κ whose ω th power is not κ-cc. To do so, we carry out a systematic study of colorings satisfying a strong unboundedness condition. We prove a number of results indicating circumstances under which such colorings exist, in particular focusing on cases in which these colorings are moreover closed.

We investigate the relationship between weak square principles and simultaneous reflection of stationary sets.2010 Mathematics Subject Classification. 03E05, 03E35, 03E55.

A narrow system is a combinatorial object introduced by Magidor and Shelah in connection with work on the tree property at successors of singular cardinals. In analogy to the tree property, a cardinal κ satisfies the narrow system property if every narrow system of height κ has a cofinal branch. In this paper, we study connections between the narrow system property, square principles, and forcing axioms. We prove, assuming large cardinals, both that it is consistent that ℵ ω+1 satisfies the narrow system property and ℵω ,<ℵω holds and that it is consistent that every regular cardinal satisfies the narrow system property. We introduce natural strengthenings of classical square principles and show how they can be used to produce narrow systems with no cofinal branch. Finally, we show that the Proper Forcing Axiom implies that every narrow system of countable width has a cofinal branch but is consistent with the existence of a narrow system of width ω 1 with no cofinal branch.2010 Mathematics Subject Classification. Primary 03E35. Secondary 03E05, 03E55.