notes Prikry Forcing and Properness, 2024 A Proof Of The \(\Delta\)-System Lemma Using Elementary Submodels, 2021 Finite Support Product of Strongly Proper Forcings, 2020