with Dutilh Novaes, C. , 2017, 'Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization', Synthese 194 (1), 195-215.
with Schiemer, G. , Zach, , 2017, 'Carnap's early metatheory: scope and limits', Synthese 194 (1), 33-65.
, 2013a, Frege or Dedekind?: towards a reevaluation of their legacies, in E. Reck (ed.), The historical turn in analytic philosophy, Dordrecht, Springer, pp. 139-170.
, 2013b, Hempel, Carnap, and the covering law model, in N. Milkov & V. Peckhaus (eds.), The Berlin group and the philosophy of logical empiricism, Dordrecht, Springer, pp. 311-324.
, 2013c, Introduction: analytic philosophy and philosophical history, in E. Reck (ed.), The historical turn in analytic philosophy, Dordrecht, Springer, pp. 1-36.
(ed) , 2013, The historical turn in analytic philosophy, Springer, Dordrecht.
, 2003, 'Dedekind's structuralism: an interpretation and partial defense', Synthese 137 (3), 369-419.
with Price, M.P. , 2000a, 'Structures and structuralism in contemporary philosophy of mathematics', Synthese 125 (3), 341-383.