Long games and \(\sigma \)-projective sets

DOI10.1016/j.apal.2020.102939zbMath1506.03112arXiv2011.04947OpenAlexW3120564056MaRDI QIDQ2659104

Philipp Schlicht, Juan P. Aguilera, Sandra Müller

Publication date: 25 March 2021

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

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

zbMATH Keywords

determinacyinfinite gamelarge cardinalinner model theorymouselong game

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (6)

THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Determinacy axioms and large cardinals ⋮ Determinate logic and the axiom of choice ⋮ Long Borel games ⋮ SHORTENING CLOPEN GAMES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The determinacy of long games
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• Deconstructing inner model theory
• GAMES OF LENGTH ω₁
• Analytic determinacy and 0^#
• OPTIMAL PROOFS OF DETERMINACY II
• Optimal Proofs of Determinacy
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• On the axiom of determinateness

This page was built for publication: Long games and \(\sigma \)-projective sets