2 problems

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…

Let $\theta$ be an uncountable cardinal and let $U$ be an ultrafilter over $\theta$. The minimality conjecture. The situation for Ramsey ultrafilters on $\omega$ should have an ana…