The axiom of determinacy, forcing axioms, and the nonstationary ideal

Woodin, W. H. (W. Hugh)
Berlin ; New York : W. de Gruyter, 1999.

Descriptive set theory and forcing : how to prove theorems about borel sets the hard way

Miller, Arnold W., 1950- author.
Cambridge : Cambridge University Press, 2017.

E-recursion, forcing and C*-algebras

Hackensack, New Jersey ; London, England : World Scientific, [2014]

Fine structure and class forcing

Friedman, Sy D., 1953-
Berlin ; New York : Walter de Gruyter, 2000.

Forcing for mathematicians

Weaver, Nik, author.
[Hackensack] New Jersey : World Scientific, [2014]

Forcing idealized

Zapletal, Jindřich, 1969-
Cambridge ; New York : Cambridge University Press, [2008]

An introduction to independence for analysts

Dales, H. G. (Harold G.), 1944-
Cambridge ; New York : Cambridge University Press, 1987.

Intuitionistic logic, model theory and forcing.

Fitting, Melvin, 1942-
Amsterdam : North-Holland Pub. Co., 1969.

Notes on forcing axioms

Todorcevic, Stevo, author.
[Hackensack] New Jersey : World Scientific, [2014]

Proper and improper forcing

Shelah, Saharon, author.
Cambridge : Cambridge University Press, [2016]
Second edition.

Proper forcing

Shelah, Saharon.
Berlin : Springer-Verlag, 1982.