PROVABLY GAMES

DOI10.1017/jsl.2020.71zbMath1485.03220OpenAlexW4247881388MaRDI QIDQ5855751

D. W. Blue, Juan P. Aguilera

Publication date: 19 March 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2020.71

zbMATH Keywords

determinacylong games\(\Omega\)-logic

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Determinacy principles (03E60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Borel determinacy
• Inner models in the region of a Woodin limit of Woodin cardinals
• The determinacy of long games
• The canonical function game
• Hod mice and the Mouse Set Conjecture
• Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular
• SUITABLE EXTENDER MODELS I
• GAMES OF LENGTH ω₁
• On the Relative Consistency Strength of Determinacy Hypothesis
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• A Proof of Projective Determinacy
• A theorem of Woodin on mouse sets
• On the axiom of determinateness

This page was built for publication: PROVABLY GAMES