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/

Author

Raven

Posted on

2020-11-24

Updated on

2020-11-24

Licensed under

Comments