Projective games on the reals

DOI10.1215/00294527-2020-0027zbMath1486.03085arXiv1907.03583OpenAlexW3113853335MaRDI QIDQ1981987

Juan P. Aguilera, Sandra Müller

Publication date: 7 September 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

determinacyinfinite gamelarge cardinalinner model theorygame quantifier

Mathematics Subject Classification ID

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

Related Items (3)

THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Determinacy axioms and large cardinals ⋮ GAMES AND INDUCTION ON REALS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The determinacy of long games
• Projectively well-ordered inner models
• An Outline of Inner Model Theory
• Determinacy in L(ℝ)
• Large Cardinals from Determinacy
• Deconstructing inner model theory
• A Brief History of Determinacy
• A Proof of Projective Determinacy
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
• Determined admissible sets
• Measurable cardinals and analytic games
• Uniformization in a playful universe

This page was built for publication: Projective games on the reals