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.