563–573., która dzisiaj jest najbardziej rozwiniętą i najczęściej stosowaną częścią teorii iterowanego forsinguSaharon Szelach: Proper and improper forcing. „Perspectives in Mathematical Logic”. Springer-Verlag, Berlin, 1998. .Martin Goldstern: Tools for your forcing construction. Set theory of the reals (Ramat Gan, 1991), „Israel Math. Conf. Proc.”, 6, Bar-Ilan Univ., Ramat Gan, 1993, s. 305–360..
W latach 90. XX wieku W. Hugh Woodin rozwinął teorię wokół forsingu który okazuje się być kluczowym elementem badań struktury przy założeniu aksjomatu determinacji w (gdzie jest ideałem niestacjonarnych podzbiorów a jest rodziną zbiorów dziedzicznie mocy )W. Hugh Woodin: The axiom of determinacy, forcing axioms, and the nonstationary ideal. „de Gruyter Series in Logic and its Applications”, 1. Walter de Gruyter & Co., Berlin, 1999. ..