Ralf Schindler - Talk 3 on Logic Summer School of Fudan University, 2020

Content:

• discuss some aspects of stationary sets;
• $\mathbf{MM}\implies 2^{\aleph_1}=\aleph_2$;
• effective counterexample to $\mathbf{CH}$.