Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf - Dybjer, P. (Logic, Epistemology, and the Unity of Science, 2012)