Abstract
This paper investigates the determinacy and the complete determinacy of infinite games, following reverse mathematics program whose purpose is to find the set comprehension axioms that are necessary and sufficient for these statements in the frame of second order arithmetic. In some sense, this research clarifies how complex oracles we need to obtain the algorithms which give a winning strategies and which determine the winning positions for the players. It will be shown that, depending on the complexity of the rules of games, the complexity of the oracles changes drastically and that determinacy and complete determinacy statements are not always equivalent.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Louveau, A.: Some results in the Wadge hierarchy of Borel sets, Cabal Seminar 79-81. Lecture Note in Mathematics, vol. 1019, pp. 28–55. Springer, Heidelberg (1983)
Medsalem, M.O., Tanaka, K.: Δ 0 3-determinacy, comprehension and induction. J. Symbolic Logic 72, 452–462 (2007)
Medsalem, M.O., Tanaka, K.: Weak determinacy and iterations of inductive definitions. In: Proc. Computable Prospects of Infinity. World Scientific, Singapore (to appear)
Montalbán, A.: Indecomposable linear orderings and Theories of Hyperarithmetic Analysis. J. Math. Log. 6, 89–120 (2006)
Nemoto, T., MedSalem, M.O., Tanaka, K.: Infinite games in the Cantor space and subsystems of second order arithmetic. Math. Log. Q. 53, 226–236 (2007)
Nemoto, T.: Determinacy of Wadge classes and subsystems of second order arithmetic (submitted), http://www.math.tohoku.ac.jp/~sa4m20/wadge.pdf
Nießner, F.: Nondeterministic tree automata. In: Grädel, E., Thomas, W., Wilke, T. (eds.) Automata Logics, and Infinite games, pp. 152–155. Springer, Heidelberg (2002)
Simpson, S.G.: Subsystems of Second Order Arithmetic. Springer, Heidelberg (1999)
Tanaka, K.: Weak axioms of determinacy and subsystems of analysis I: Δ 0 2-games Z. Math. Logik Grundlag. Math. 36, 481–491 (1990)
Tanaka, K.: Weak axioms of determinacy and subsystems of analysis II: Σ 0 2-games. Ann. Pure Appl. Logic 52, 181–193 (1991)
Welch, P.: Weak systems of determinacy and arithmetical quasi-inductive definitions, http://www.maths.bris.ac.uk/~mapdw/det7.pdf
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nemoto, T. (2008). Complete Determinacy and Subsystems of Second Order Arithmetic. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds) Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69407-6_49
Download citation
DOI: https://doi.org/10.1007/978-3-540-69407-6_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69405-2
Online ISBN: 978-3-540-69407-6
eBook Packages: Computer ScienceComputer Science (R0)