# 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

http://tripedal-crow.github.io/2020/11/24/Talk2/

Raven

2020-11-24

2020-11-24