The determinacy of long games

zbMath1076.03032MaRDI QIDQ1889743

Itay Neeman

Publication date: 8 December 2004

Published in: De Gruyter Series in Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

coanalytic setstrategyconsistency strengthlarge cardinalsdeterminacyiteration gameinfinite gamelarge cardinal axiomsiteration treegame of countable lengthgame quantifierhomogeneously Suslin setuniversally Baire set

Mathematics Subject Classification ID

Descriptive set theory (03E15) Games involving topology, set theory, or logic (91A44) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Large cardinals (03E55) Determinacy principles (03E60) Other notions of set-theoretic definability (03E47)

Related Items (14)

On -Strongly Measurable Cardinals ⋮ Long games and \(\sigma \)-projective sets ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ Determinacy axioms and large cardinals ⋮ Projective games on the reals ⋮ Determinate logic and the axiom of choice ⋮ Four and more ⋮ Long Borel games ⋮ Determined admissible sets ⋮ Determinacy for games ending at the first admissible relative to the play ⋮ Descriptive inner model theory ⋮ Counterexamples to the unique and cofinal branches hypotheses ⋮ GAMES AND REFLECTION IN ⋮ PROVABLY GAMES

This page was built for publication: The determinacy of long games