with Lindström, S. , Palmgren, E. , Sundholm, G. (eds) , 2012, Epistemology versus ontology: essays on the philosophy and foundations of mathematics in honour of per Martin-löf, Springer, Dordrecht.