Foundations of mathematics logic at Harvard ; essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA

Mathematical logic and foundations ... Set theory ... Large cardinals > Mathematical logic and foundations ... Set theory ... Determinacy principles > Mathematical logic and foundations ... Set theory ... Generic absoluteness and forcing axioms > Mathematical logic and foundations ... Set theory ... Inner models, including constructibility, ordinal definability, and core models > Mathematical logic and foundations ... Set theory ... Consistency and independence results > Mathematical logic and foundations ... Set theory ... Descriptive set theory > General ... General and miscellaneous specific topics ... Philosophy of mathematics > Mathematical logic and foundations ... Computability and recursion theory ... Other degrees and reducibilities > Set theory > Continuum hypothesis > Festschrift