Fraser, Z. The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus. Cosmos and History 2006, 2, 94-133.