Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman : Lecture Notes in Logic 15