with Lindström, S. , Westerståhl, D. , 2012, 'Introduction: the philosophy of logical consequence and inference', Synthese 187 (3), 817-820.
, 2012, Constructivist versus structuralist foundations, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 265-279.
with Dybjer, P. , Lindström, S. , Sundholm, G. (eds) , 2012, Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Springer, Dordrecht.
with Lindström, S. , Westerståhl, D. (eds) , 2012a, Synthese 187 (3).
with Lindström, S. , 2009, Introduction: the three foundational programmes, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 1-23.
, 2009, From intuitionistic to point-free topology: on the foundation of homotopy theory, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 237-253.
with Segerberg, K. (eds) , 2009a, Logicism, intuitionism, and formalism: what has become of them?, Springer, Dordrecht.