Weak axioms of determinacy and subsystems of analysis I: δ20 games

DOI10.1002/MALQ.19900360602MaRDI QIDQ3353013zbMATH OpenOpenAlexWikidataFDO

Authors Kazuyuki Tanaka

Publication date 1990

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19900360602

zbMATH Keywords

set existence axiomscalibration subsystems of second-order arithmeticArithmetical Comprehensionbold-face hierarchylight-face hierarchyproof-theoretic strength of \(\Delta ^ 0_ 2\)-determinacyTransfinite Recursiontwo-player infinite games associated to formulas

Mathematics Subject Classification ID

2-person games (91A05) Hierarchies of computability and definability (03D55) Second- and higher-order arithmetic and fragments (03F35) Determinacy principles (03E60)

Recommendations

• Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
• scientific article; zbMATH DE number 6767615
• The problem of determinacy of infinite games from an intuitionistic point of view
• Intuitionistic games: determinacy, completeness, and normalization
• An axiomatization of the core for finite and continuum games
• On strong determinacy of countable stochastic games
• Determinateness of certain almost-Borel games
• A Survey of Determinacy of Infinite Games in Second Order Arithmetic
• Determinacy and indeterminacy of games played on complete metric spaces
• GAMES AND INDUCTION ON REALS

Cited in

(22)

• Complete Determinacy and Subsystems of Second Order Arithmetic
• Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives
• Lipschitz and Wadge binary games in second order arithmetic
• A characterization of \(\Sigma_1^1\)-reflecting ordinals
• Reverse mathematics and initial intervals
• A Lipschitz determinacy principle equivalent to weak König lemma
• Determinacy of Wadge classes and subsystems of second order arithmetic
• Open determinacy for class games
• Long Borel games
• Complexity of Winning Strategies for Δ 0 2 Games
• Weak systems of determinacy and arithmetical quasi-inductive definitions
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
• Reverse mathematics: the playground of logic
• Determinacy and monotone inductive definitions
• Determinacy of refinements to the difference hierarchy of co-analytic sets
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension
• Infinite games and transfinite recursion of multiple inductive definitions
• Δ₃^O-determinacy, comprehension and induction
• Locally hyperarithmetical induction
• The determinacy strength of \(\Pi_2^1\)-comprehension
• Monotone versus non-monotone projective operators
• The limits of determinacy in second order arithmetic: consistency and complexity strength

This page was built for publication: Weak axioms of determinacy and subsystems of analysis I: δ20 games

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