## Stevo’s Forcing Class Fall 2012 – Class 7

(This is the seventh lecture in Stevo Todorcevic’s Forcing class, held in the fall of 2012. You can find the sixth lecture here. Quotes by Stevo are in dark blue; some are deep, some are funny, some are paraphrased so use your judgement. As always I appreciate any type of feedback, including reporting typos, in the comments below.)

## Stevo’s Forcing Class Fall 2012 – Class 5

(This is the fifth lecture in Stevo Todorcevic’s Forcing class, held in the fall of 2012. You can find the fourth lecture here. Quotes by Stevo are in dark blue; some are deep, some are funny, some are paraphrased so use your judgement. As always I appreciate any type of feedback, including reporting typos, in the comments below.)

## Stevo’s Forcing Class Fall 2012 – Class 4

(This is the fourth lecture in Stevo Todorcevic’s Forcing class, held in the fall of 2012. You can find the third lecture here. Quotes by Stevo are in dark blue; some are deep, some are funny, some are paraphrased so use your judgement. As always I appreciate any type of feedback, including reporting typos, in the comments below.)

## 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.