1 problem

Let $R$ be a binary relation. Write $\fulldiamond$ for the proper forcing axiom appearing in the source, and let $\beta\to(\beta_1;\beta_2)^2_2$ denote the corresponding partition…