Provably _1 games

DOI10.1017/JSL.2020.71MaRDI QIDQ5855751zbMATH OpenOpenAlexFDO

Authors Juan P. Aguilera, D. W. Blue

Publication date 19 March 2021

Published in 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)

Recommendations

• GAMES OF LENGTH ω₁
• The determinacy of long games
• scientific article; zbMATH DE number 4072961
• Determinacy in L(ℝ)
• An extension of Borel determinacy

Cites work

• scientific article; zbMATH DE number 218608 (Why is no real title available?)
• scientific article; zbMATH DE number 3215740 (Why is no real title available?)
• A Proof of Projective Determinacy
• A theorem of Woodin on mouse sets
• An \(\Omega\)-logic primer
• Borel determinacy
• Descriptive set theory
• GAMES OF LENGTH ω₁
• Hod mice and the mouse set conjecture
• Inner models in the region of a Woodin limit of Woodin cardinals
• On the Relative Consistency Strength of Determinacy Hypothesis
• On the axiom of determinateness
• Suitable extender models. I
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
• The canonical function game
• The continuum hypothesis. II.
• The determinacy of long games

Cited in

(7)

• How to win some simple iteration games
• Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
• GAMES OF LENGTH ω₁
• scientific article; zbMATH DE number 4072961 (Why is no real title available?)
• Determinacy for games ending at the first admissible relative to the play
• Conceptual proofs of the Menger and Rothberger games
• Unraveling \(\boldsymbol\Pi_1^1\) sets

This page was built for publication: Provably \(\Delta_1\) games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5855751)