Parallel strategies

Journal of Symbolic Logic 68 (4):1242-1250 (2003)
  Copy   BIBTEX


We consider combinatorial principles based on playing several two person games simultaneously. We call strategies for playing two or more games simultaneously parallel. The principles are easy consequences of the determinacy of games, in particular they are true for all finite games. We shall show that the principles fail for infinite games. The statements of these principles are of lower logical complexity than the sentence expressing the determinacy of games, therefore, they can be studied in weak axiomatic systems for arithmetic . We pose several open problems about the provability of these statements in Bounded Arithmetic and related computational problems



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Determinacy separations for class games.Sherwood Hachtman - 2019 - Archive for Mathematical Logic 58 (5-6):635-648.
Shortening clopen games.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1541-1554.
Games of length ω1.Itay Neeman - 2007 - Journal of Mathematical Logic 7 (1):83-124.
Finite and Infinite Games.James Carse - 2011 - Simon & Schuster.
Games with Unknown Past.Bakhadyr Khoussainov, Alexander Yakhnis & Vladimir Yakhnis - 1998 - Mathematical Logic Quarterly 44 (2):185-204.
Message Exchange Games in Strategic Contexts.Nicholas Asher, Soumya Paul & Antoine Venant - 2017 - Journal of Philosophical Logic 46 (4):355-404.
A Survey of Determinacy of Infinite Games in Second Order Arithmetic.Keisuke Yoshii - 2017 - Annals of the Japan Association for Philosophy of Science 25:35-44.


Added to PP

13 (#1,066,279)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references