Foundations of mathematics : logic at Harvard, essays in honor of W. Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA - Caicedo, A. E.; Cummings, James; Koellner, Peter; Larson, Paul B. (Paul Bradley); Conference in honor of Hugh Woodin's 60th birthday (American Mathematical Society, 2017)