Fraser, Z. 2006. The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus. Cosmos and History: The Journal of Natural and Social Philosophy. 2, 1-2 (Oct. 2006), 94–133.