1. Aczel, P. (1991/1996). Personal communications of January 10, 1991, and November 11, 1996.
2. Barcan, R. (1946). A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic, 11, 1–16.
3. Boolos, G. (1986/1987). Saving Frege From Contradiction. Proceedings of the Aristotelian Society, 87, 137–151. Reprinted in G. Boolos (1998). Logic, Logic, and Logic (pp. 171–182). Cambridge, MA: Harvard University Press.
4. Boolos, G. (1987). The Consistency of Frege’s Foundations of Arithmetic. In: J. Thomson (Ed.), On Being and Saying (pp. 3–20). Cambridge, MA: MIT Press. Reprinted in G. Boolos (1998). Logic, Logic, and Logic (pp. 183–201). Cambridge, MA: Harvard University Press.
5. Cook, R. (2016). Necessity, Necessitism, and Numbers. Philosophical Forum, 47(3–4), 385–414.