Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable

DOI10.1016/J.APAL.2018.08.013OpenAlexW2889416670MaRDI QIDQ1616774

Grigor Sargsyan, Rachid Atmai

Publication date: 7 November 2018

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.06452

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymouse

Mathematics Subject Classification ID

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

Related Items (2)

Determinacy axioms and large cardinals ⋮ Supercompactness can be equiconsistent with measurability

Cites Work

• Square principles in \(\mathbb{P}_{\max}\) extensions
• Supercompactness can be equiconsistent with measurability
• HOD in natural models of \(\mathsf{AD}^+\)
• Descriptive inner model theory
• Hod mice and the Mouse Set Conjecture
• Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
• An Outline of Inner Model Theory
• HOD^L(ℝ) is a Core Model Below Θ

This page was built for publication: Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable