Provably _1 games

DOI10.1017/JSL.2020.71zbMATH Open1485.03220OpenAlexW4247881388MaRDI QIDQ5855751FDOQ5855751

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

Recommendations

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

zbMATH Keywords

determinacylong games\(\Omega\)-logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

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

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)