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 Segerberg, K. (eds) , 2009, Logicism, intuitionism, and formalism: what has become of them?, Springer, Dordrecht.
with Lindström, S. , Westerståhl, D. (eds) , 2012, Synthese 187 (3).