writings
- Projective Determinacy
- Stationary Tower Forcing
- Determinacy in \(L(\mathbb{R})\)
- Sharps of Universally Baire Sets
- Generic \(\Sigma^2_1\)-maximality
- Introduction to \(\mathbb{P}_\max\)
- Bounded Martin's Maximum, Axiom \((*)\), and Generic \(\Pi_2^{H(\omega_2)}\)-maximality
- Soundness of \(\Omega\)-logic
- Extender Algebra
- Club Filter without Choice
- Normal ideals
- Forcing a dense ideal on \(\omega_1\) over a model of determinacy
- Proper Forcing Axiom