Supercompactness can be equiconsistent with measurability

DOI10.1215/00294527-2021-0031OpenAlexW4200376544MaRDI QIDQ2075279

Nam Trang

Publication date: 14 February 2022

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2021-0031

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymousesupercompactness on \(\omega_1\)

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Related Items (2)

Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable ⋮ Almost disjoint families under determinacy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Covering with universally Baire operators
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• HOD in natural models of \(\mathsf{AD}^+\)
• Proper forcing and L(ℝ)
• Determinacy in L(ℝ, μ)
• Hod mice and the Mouse Set Conjecture
• Structural Consequences of AD
• Large Cardinals from Determinacy
• AD and the supercompactness of ℵ₁
• Derived models and supercompact measures on
• STRUCTURE THEORY OFL(ℝ,μ) AND ITS APPLICATIONS

This page was built for publication: Supercompactness can be equiconsistent with measurability