THE MOUSE SET CONJECTURE FOR SETS OF REALS

DOI10.1017/jsl.2014.78zbMath1368.03046arXiv2110.06083OpenAlexW2404805200WikidataQ123123322 ScholiaQ123123322MaRDI QIDQ5501776

Grigor Sargsyan, J. R. Steel

Publication date: 14 August 2015

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

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) Determinacy principles (03E60)

Related Items (7)

Determinacy from strong compactness of \(\omega_1\) ⋮ HAPPY AND MAD FAMILIES INL(ℝ) ⋮ Hod mice and the Mouse Set Conjecture ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ PFA and guessing models ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions

Cites Work

• Structural Consequences of AD

This page was built for publication: THE MOUSE SET CONJECTURE FOR SETS OF REALS