All Questions
1 question
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