Determinacy in the Mitchell models

DOI10.1016/0003-4843(82)90017-1MaRDI QIDQ3690811zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 1982

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(82)90017-1

zbMATH Keywords

large cardinal hypothesesupper bounds on the amount of determinacy

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Descriptive set theory (03E15) Large cardinals (03E55) Determinacy principles (03E60)

Recommendations

• Bounds on the strength of ordinal definable determinacy in small admissible sets
• Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
• On the Relative Consistency Strength of Determinacy Hypothesis
• Determinancy with Complicated Strategies
• Determinacy in strong cardinal models

Cited in

(6)

• Unraveling _1¹ sets
• Bounds on the strength of ordinal definable determinacy in small admissible sets
• Determinacy in the difference hierarchy of co-analytic sets
• Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited
• Closed and unbounded classes and the Härtig quantifier model
• Determinacy for games ending at the first admissible relative to the play

This page was built for publication: Determinacy in the Mitchell models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3690811)