notes

Nota bene. Below are links to my interpretations of other people’s results. If the citations are not done properly, I apologize to the people who are hurt in this way. The notes are meant as a learning aid. People seem to disagree about what is the right way to write mathematics, so I think these notes may be useful for those who share my preferences.

• Projective Determinacy
• Stationary Tower Forcing
• Determinacy in \(L(\mathbb{R})\)
• Generic \(\Sigma^2_1\)-maximality
• Introduction to \(\mathbb{P}_\max\)
• Bounded Martin's Maximum, Axiom \((*)\), and Generic \(\Pi_2^{H(\omega_2)}\)-maximality
• Extender Algebra
• Club Filter without Choice
• Dense Ideal from Determinacy
• Proper Forcing Axiom