Determinacy in the Mitchell models

DOI10.1016/0003-4843(82)90017-1zbMath0573.03026OpenAlexW1982802481MaRDI QIDQ3690811

J. R. 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

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

Related Items (6)

Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited ⋮ CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL ⋮ Determinacy in the difference hierarchy of co-analytic sets ⋮ Bounds on the strength of ordinal definable determinacy in small admissible sets ⋮ Determinacy for games ending at the first admissible relative to the play ⋮ Unraveling \(\boldsymbol\Pi_1^1\) sets

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