Introduction
Multiple Universes of Sets and Indeterminate Truth Values
Some Naturalistic Reflections on Set Theoretic Method
Foundations of Mathematics in Polymorphic Type Theory
Why Anti-Realists and Classical Mathematicians Cannot Get Along
Arbitrary Reference in Mathematical Reasoning
Logicism, Structuralism and Objectivity
Mathematical Explanation