Bagaria, JoanSpoerl, John2022-04-142022-04-142020https://hdl.handle.net/2445/184964Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2019-2020. Tutor: Joan BagariaIn the 2019 paper "Large Cardinals Beyond Choice" [1], Bagaria, Koellner and Woodin apply the large cardinal techniques and results developed fromWoodin's work on the HOD-Dichotomy to determine the structural resemblance of HOD to V . Whereas standard inner model theory attempts to nd suitable inner models for large cardinals, this new program is aimed at exploring very large cardinals that \break" the resemblance of HOD to V . This paper attempts to explain in full detail the tools and arguments required for that body of work.39 p.application/pdfengcc by-nc-nd (c) Spoerl, 2020http://creativecommons.org/licenses/by-nc-nd/3.0/es/LògicaLògica matemàticaTreballs de fi de màsterLogicMathematical logicMaster's thesesinfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccess