Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / Andrés Eduardo Caicedo, James Cummings, Peter Koellner, Paul B. Larson, editors. Providence, Rhode Island : American Mathematical Society, 2017