@misc{indiciaecf7f38b477bb, title = {On Winning Conditions of High Borel Complexity in Pushdown Games}, author = {Olivier Finkel}, year = {2008}, url = {https://arxiv.org/abs/0803.1830}, note = {Source identifier: 0803.1830} }