HOD in natural models of \(\mathsf{AD}^+\)

DOI10.1016/j.apal.2014.04.006zbMath1354.03067arXiv1201.6128OpenAlexW2053059728MaRDI QIDQ2250450

Nam Trang

Publication date: 7 July 2014

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

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

zbMATH Keywords

determinacyHODdescriptive inner model theoryHOD mice

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 (5)

Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable ⋮ Hod mice and the Mouse Set Conjecture ⋮ Translation procedures in descriptive inner model theory ⋮ Determinacy axioms and large cardinals ⋮ Supercompactness can be equiconsistent with measurability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• The self-iterability of L[E]
• Scales in K(ℝ) at the end of a weak gap
• A theorem of Woodin on mouse sets
• HODas a core model

This page was built for publication: HOD in natural models of \(\mathsf{AD}^+\)