Determinacy from strong compactness of \(\omega_1\)

DOI10.1016/j.apal.2021.102944zbMath1496.03205arXiv1609.05411OpenAlexW3124617235MaRDI QIDQ2662692

Nam Trang, Trevor M. Wilson

Publication date: 14 April 2021

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

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

zbMATH Keywords

large cardinalsstrong compactnessdeterminacysupercompactnesscoherent sequencescore model inductionHODsquare sequences

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)

Related Items (1)

On supercompactness of \(\omega_1\)

Cites Work

• Scales on \(\Pi^2_1\) sets
• The envelope of a pointclass under a local determinacy hypothesis
• Square in Core Models
• Hod mice and the Mouse Set Conjecture
• An Outline of Inner Model Theory
• Structural Consequences of AD
• Scales in K(ℝ) at the end of a weak gap
• The maximality of the core model
• Successive weakly compact or singular cardinals
• Set Theory
• HODas a core model
• STRUCTURE THEORY OFL(ℝ,μ) AND ITS APPLICATIONS
• PFA implies AD^L(ℝ)
• THE MOUSE SET CONJECTURE FOR SETS OF REALS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Determinacy from strong compactness of \(\omega_1\)