Determinacy in the Mitchell models
From MaRDI portal
Publication:3690811
DOI10.1016/0003-4843(82)90017-1zbMath0573.03026MaRDI QIDQ3690811
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
03E15: Descriptive set theory
03E55: Large cardinals
03C62: Models of arithmetic and set theory
03E60: Determinacy principles
Related Items
CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL, Determinacy for games ending at the first admissible relative to the play, Unraveling \(\boldsymbol\Pi_1^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