Games People Play
- Yuri Gurevich
in "Collected Works of J. Richard Büchi" ed. Saunders Mac Lane and Dirk Siefkes Springer-Verlag
1988
Buchi’s approach to the determinacy of infinite games was original and not without a controversy. He resented determinacy proofs that did not live up to his standards of constructivity. We describe the infinite games in question, discuss the constructivity of determinacy proofs and comment on Buchi’s constributions to determinacy.