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

Set theory > Continuum hypothesis > 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 > Konferenzschrift > Festschrift > Grundlagenforschung > Mathematik