Foundations of mathematics logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA / - Woodin, W. H.; Caicedo, Andrés Eduardo, (American Mathematical Society,, 2017)