Foundations of Mathematics

Contains the proceedings of the Logic at Harvard conference in honour of W. Hugh Woodin's 60th birthday. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career.