1. Representability in some systems of second order arithmetic;Aczel;Israel J. Math.,1970
2. Infinite games of perfect information;Gale;Ann. Math. Studies,1953
3. Hierarchies of effective descriptive set theory;Hinman;Trans. Am. Math. Soc.,1969
4. P.G. Hinman The finite levels of the hierarchy of effective R-sets, to appear.
5. The game quantifier;Moschovakis;Proc. Am. Math. Soc.,1971