Reinhard Kahle
Mathematical truth revisited: mathematics as a toolbox
2017
in: Varieties of scientific realism, Dordrecht : Springer

Sets, truth, and recursion
2015
in: Unifying the philosophy of truth, Dordrecht : Springer

What is a proof?
2015
Axiomathes 25/1
A proof-theoretic view of necessity
2006
Synthese 148/3

Mathematical proof theory in the light of ordinal analysis
2002
Synthese 133/1-2
