Fraser, Z. “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, vol. 2, no. 1-2, Oct. 2006, pp. 94-133, https://cosmosandhistory.org/index.php/journal/article/view/30.