 Takeuti's WellOrdering Proof: Finitistically Fine?Eamon Darnell & Aaron ThomasBolduc  2018  In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics The CSHPM 2017 Annual Meeting in Toronto, Ontario. New York: Birkhäuser.details


Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund  2012  Synthese 185 (3):335363.details


On three arguments against categorical structuralism.Makmiller Pedroso  2009  Synthese 170 (1):21  31.details


How to be a structuralist all the way down.Elaine Landry  2011  Synthese 179 (3):435  454.details


On the Concept of Finitism.Luca Incurvati  2015  Synthese 192 (8):24132436.details


Unfolding finitist arithmetic.Solomon Feferman & Thomas Strahm  2010  Review of Symbolic Logic 3 (4):665689.details


On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng  forthcoming  Philosophia Mathematica.details


Gödel’s Incompleteness Theorem and the AntiMechanist Argument: Revisited.Yong Cheng  2020  Studia Semiotyczne 34 (1):159182.details


Beyond Logical Pluralism and Logical Monism.Pavel Arazim  2020  Logica Universalis 14 (2):151174.details


PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad  2010  In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.details


The Significance of Evidencebased Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand  forthcomingdetails


In the beginning was the verb: The emergence and evolution of language problem in the light of the big Bang epistemological paradigm.Edward G. Belaga  2008  Cognitive Philology 1 (1).details


AntiFoundational Categorical Structuralism.Darren McDonald  unknowndetails


Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill  2015  Dissertation, University of Waterloodetails

