Parallel strategies
Pudlák, Pavel
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 1242-1250 / Harvested from Project Euclid
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 (Bounded Arithmetic). We pose several open problems about the provability of these statements in Bounded Arithmetic and related computational problems.
Publié le : 2003-12-14
Classification: 
@article{1067620183,
     author = {Pudl\'ak, Pavel},
     title = {Parallel strategies},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 1242-1250},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1067620183}
}
Pudlák, Pavel. Parallel strategies. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  1242-1250. http://gdmltest.u-ga.fr/item/1067620183/