Course | References | Exams | Exercises |
Infinite Games – References
Alexander S. Kechris Classical Descriptive Set Theory Springer, Graduate Texts in Mathematics 1995 Edition Print (26. January 1995), Volume 156 ISBN: 978-1-4612-8692-9 |
|
Paul Hunter, Anuj Dawar Complexity Bounds for Regular Games Springer, Lecture Notes in Computer Science 2005, Volume 3618 ISSN: 0302-9743 (Print) 1611-3349 (Online) Presentation |
|
Donald. A. Martin A purely inductive proof of Borel determinacy Recursion theory, Proc. Sympos. Pure Math., 42 1982, Page 303–308 ISBN: 0-8218-1447-8 |
|
Erich Grädel, Igor Walukiewicz Positional Determinacy of Games with Infinitely many Priorities Logical Methods in Computer Science 2006, Volume 2, Issue 4, Paper 6 ISSN: 1860-5974 |