# Another Combinatorial Result

Here is Chris Eagle’s presentation from Stevo Todorcevic’s class “Combinatorial Set Theory”.

From the abstract:

We prove that MA + $\mathfrak{c} = \aleph_2$ implies $\mathfrak{c} \not\rightarrow (\mathfrak{c}, \omega+2)^2$ . The exposition is based on hand-written notes provided by S. Todorcevic. The result itself is due to R. Laver.

This is the analogous result to “MA implies (NonSpecial Tree) $\not\rightarrow$ (NonSpecial Tree, $\omega+2)^2$“, which I explained here.