Ralf Schindler - Talk 1 on Logic Summer School of Fudan University, 2020
Content:
- Stationary sets;
- Forcing revisited;
- Forcing Axioms: $\mathbf{MA}$;
- Proper forcing; semi-proper forcing; stationary set preserved forcing;
- $\mathbf{PFA}$, $\mathbf{SPFA}$, $\mathbf{MM}$.
Ralf Schindler - Talk 1 on Logic Summer School of Fudan University, 2020