Publication:3607624
From MaRDI portal
zbMath1159.03319MaRDI QIDQ3607624
Publication date: 2 March 2009
03E15: Descriptive set theory
91A44: Games involving topology, set theory, or logic
03E45: Inner models, including constructibility, ordinal definability, and core models
03E60: Determinacy principles
03D55: Hierarchies of computability and definability
Related Items
GAMES AND INDUCTION ON REALS, THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY, The axiom of determinacy implies dependent choice in mice, Projective games on the reals, Long Borel games, The envelope of a pointclass under a local determinacy hypothesis