A Useful Model (Notes for 2011 Summer

In these notes and the accompanying lectures I introduce models of form PFA(S)[S], a useful class of models of set theory in which various consequences of both PFA and V = L hold. We list some of these consequences and topologically derive new results from them. Then we present some of the characteristic set-theoretic methods used to prove things in these models.