Ralf Schindler - Talk 2 on Logic Summer School of Fudan University, 2020
Content:
- Restate $\mathbf{PFA}$, $\mathbf{SPFA}$, $\mathbf{MM}$ as well as $\mathbf{PFA}^{++}$, $\mathbf{SPFA}^{++}$, $\mathbf{MM}^{++}$;
- A few words on iterated forcing
- Supercompact Cardinals, Laver functions;
- Forcing $\mathbf{SPFA}^{(++)}$
- Weak reflection principle;
- $\mathbf{MM}\Rightarrow2^{\aleph_1} = \aleph_2$.
Ralf Schindler - Talk 2 on Logic Summer School of Fudan University, 2020