No label defined (Q4383372)

Modified abstract. The paper shows that the Open Coloring Axiom has a different influence on the algebra \(\mathcal P(\mathbb N)/fin\) than on \(\mathbb N^{\mathbb N}/fin\). The tool used to accomplish this is forcing with a Suslin tree. The Open Coloring Axiom is a natural Ramsey statement about sets of reals which can also be considered as a natural two-dimensional version of the classical Perfect Set Property of sets of reals. It is a quite useful principle with strong influence on structures in close relationship with the set of reals. Deeper applications of OCA frequently need some additional help of Martin's Axiom which is its natural context because both of the axioms can be considered as parts of the stronger Proper Forcing Axiom. The purpose of this paper is to explain why some parts of MA are needed at least in some of the well-known applications.