Z. Fraser, “The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus”, Cosmos and History, vol. 2, no. 1-2, pp. 94–133, Oct. 2006.