Set theory Boolean-valued models and independence proofs - Bell, J. L. (John Lane) (Clarendon Press, 2011)