1. 1. J. W. Addison, Hierarchies and the axiom of constructibility, Summaries of talks presented at the Summer Institute of Symbolic Logic in 1957 at Cornell University, p. 355-362.
2. Some consequences of the axiom of constructibility;Addison, J. W.;Fund. Math.,1959
3. A note on function quantification;Addison, J. W.;Proc. Amer. Math. Soc.,1957
4. On a problem of Kleene’s;Gandy, R. O.;Bull. Amer. Math. Soc.,1960
5. 5. R. O. Gandy, Complete predicates for the analytic hierarchy, Abstract 150-62, Notices Amer. Math. Soc. 9 (1962), 222.