The limits of determinacy in second-order arithmetic

DOI10.1112/plms/pdr022zbMath1245.03096OpenAlexW2162168838MaRDI QIDQ3116522

Richard A. Shore, Antonio Montalbán

Publication date: 24 February 2012

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/pdr022

zbMATH Keywords

gamereverse mathematicsBorel hierarchyconservationdescriptive set theorydeterminacywinning strategyMartin

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Related Items (21)

Determinacy and monotone inductive definitions ⋮ Determinacy of adversarial Gowers games ⋮ Weihrauch Degrees of Finding Equilibria in Sequential Games ⋮ VARIATIONS ON DETERMINACY AND ℵ_ω1 ⋮ Determinacy in third order arithmetic ⋮ Splittings and disjunctions in reverse mathematics ⋮ Determinacy of refinements to the difference hierarchy of co-analytic sets ⋮ Open determinacy for class games ⋮ Lipschitz and Wadge binary games in second order arithmetic ⋮ The Π21$\Pi ^1_2$ consequences of a theory ⋮ Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle ⋮ The limits of determinacy in second order arithmetic: consistency and complexity strength ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES ⋮ Long Borel games ⋮ CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY ⋮ Determinacy separations for class games ⋮ Nets and reverse mathematics ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ A Lipschitz determinacy principle equivalent to weak König lemma ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: The limits of determinacy in second-order arithmetic