Supercompactness can be equiconsistent with measurability

DOI10.1215/00294527-2021-0031MaRDI QIDQ2075279zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Determinacy from strong compactness of \(\omega_1\)
• On supercompactness of _1
• Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)
• scientific article; zbMATH DE number 3875266
• Supercompactness within the projective hierarchy

Cites work

• AD and the supercompactness of ℵ₁
• Covering with universally Baire operators
• Derived models and supercompact measures on \(\wp_{\omega_1}(\wp(\mathbb{R}))\)
• Determinacy in \(L(\mathbb{R}, \mu)\)
• HOD in natural models of \(\mathsf{AD}^+\)
• Hod mice and the mouse set conjecture
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• scientific article; zbMATH DE number 3781160 (Why is no real title available?)
• scientific article; zbMATH DE number 3603272 (Why is no real title available?)
• Large cardinals from determinacy
• Proper forcing and \(L(\mathbb{R})\)
• Scales in \({\mathbf K}(\mathbb R)\)
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Structural consequences of AD
• Structure theory of \(L(\mathbb{R},\mu)\) and its applications

Cited in

(3)

• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• On supercompactness of _1
• Almost disjoint families under determinacy

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2075279)