A Comparison Process for Mouse Pairs
From MaRDI portal
Publication:5039707
DOI10.1017/9781108886840OpenAlexW4308640734MaRDI QIDQ5039707
Publication date: 3 October 2022
Full work available at URL: https://doi.org/10.1017/9781108886840
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
Related Items (2)
The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ The AD+ conjecture and the continuum hypothesis
This page was built for publication: A Comparison Process for Mouse Pairs