Long Borel games

DOI10.1007/S11856-021-2160-YMaRDI QIDQ2048863zbMATH OpenOpenAlexFDO

Authors Juan P. Aguilera

Publication date 24 August 2021

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx) Set theory (03Exx) Game theory (91Axx)

Recommendations

• The determinacy of long games
• Games of length 2
• GAMES OF LENGTH ω₁
• Determinateness of certain almost-Borel games
• The consistency strength of long projective determinacy

Cites work

• HODas a core model
• A Proof of Projective Determinacy
• An outline of inner model theory
• Analytic determinacy and 0^#
• Borel determinacy
• Constructible models of subsystems of ZF
• Descriptive set theory
• Equivalence of Two Strong Forms of Determinacy
• Extensions of the Axiom of Determinacy
• Fine structure
• Higher set theory and mathematical practice
• scientific article; zbMATH DE number 5521846 (Why is no real title available?)
• scientific article; zbMATH DE number 5521848 (Why is no real title available?)
• scientific article; zbMATH DE number 5521855 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• Inner models with many Woodin cardinals
• Large cardinals from determinacy
• Long games and \(\sigma \)-projective sets
• Measurable cardinals and analytic games
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Provident sets and rudimentary set forcing
• SHORTENING CLOPEN GAMES
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The consistency strength of long projective determinacy
• The derived model theorem
• The determinacy of long games
• The fine structure of the constructible hierarchy
• The limits of determinacy in second-order arithmetic
• Uniformization in a playful universe
• Weak axioms of determinacy and subsystems of analysis I: δ20 games
• Weak systems of determinacy and arithmetical quasi-inductive definitions

Cited in

(9)

• The determinacy of long games
• The Borell-Ehrhard game
• scientific article; zbMATH DE number 5521851 (Why is no real title available?)
• GAMES AND INDUCTION ON REALS
• Determinacy for games ending at the first admissible relative to the play
• GAMES AND REFLECTION IN
• Long Borel Games
• Determinacy on the edge of second-order arithmetic. I
• The metamathematics of separated determinacy

This page was built for publication: Long Borel games

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