This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
Roy T. Cook (editor), The Arché Papers on the Mathematics of Abstraction, The Western Ontario Series in Philosophy of Science, vol. 71, Springer, Berlin, 2007.
Roy T. Cook (editor), Conservativeness, stability, and abstraction. British Journal for the Philosophy of Science, vol. 63 (2012), pp. 673–696.
Solomon Feferman , Predicativity, The Oxford Handbook of Philosophy of Mathematics and Logic ( Stewart Shapiro , editor), Oxford University Press, Oxford, 2005, pp. 590–624.
Fernando Ferreira and Kai F. Wehmeier , On the consistency of the$\Delta _1^1 $-CA fragment of Frege’s Grundgesetze. Journal of Philosophical Logic, vol. 31 (2002), no. 4, pp. 301–311.
Mihai Ganea , Burgess’ PV is Robinson’s Q. The Journal of Symbolic Logic, vol. 72 (2007), no. 2, pp. 618–624.
Bob Hale and Crispin Wright , The Reason’s Proper Study, Oxford University Press, Oxford, 2001.
Richard G. Heck Jr., The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik. History and Philosophy of Logic, vol. 17 (1996), no. 4, pp. 209–220.
Harold Hodes , Logicism and the Ontological Commitments of Arithmetic. The Journal of Philosophy, vol. 81 (1984), no. 3, pp. 123–149.
Øystein Linnebo , Some criteria for acceptable abstraction. Notre Dame Journal of Formal Logic, vol. 52 (2010), no. 3, pp. 331–338.
Terence Parsons , On the consistency of the first-order portion of Frege’s logical system. Notre Dame Journal of Formal Logic, vol. 28 (1987), no. 1, pp. 161–168, Reprinted in .
Stephen G. Simpson , Subsystems of Second Order Arithmetic, second ed., Cambridge University Press, Cambridge, 2009.
Albert Visser , The predicative Frege hierarchy. Annals of Pure and Applied Logic, vol. 160 (2009), no. 2, pp. 129–153.
Sean Walsh , Comparing Hume’s principle, Basic Law V and Peano Arithmetic. Annals of Pure and Applied Logic, vol. 163 (2012), pp. 1679–1709.