An inner model theoretic proof of Becker's theorem

DOI10.1007/s00153-019-00668-9zbMath1468.03069arXiv2110.06314OpenAlexW2930664991MaRDI QIDQ2274143

Grigor Sargsyan

Publication date: 19 September 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

set theorydescriptive set theoryinner model theorydirected systems

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Determinacy implies that \(\aleph_ 2\) is supercompact
• The weak square property
• Supercompactness within the projective hierarchy
• An Outline of Inner Model Theory
• Inner Models and Ultrafilters In L(ℝ)
• HODas a core model