All Questions
Tagged with determinacy game-theory
1 question with no upvoted or accepted answers
2
votes
0
answers
122
views
Forgetful Determinacy and Gale-Stewart theorem
I have been studying a 1969 article by Rabin that proofs his apparently very influential Tree Theorem (that says the monadic second-order theory of 2 successors, S2S, is decidable).
To give a bit of ...
- 171