1. J. Barwise,Infinitary logic and admissible sets, J. Symbolic Logic39 (1969), 226–252.
2. K. J. Barwise, R. O. Gandy and Y. N. Moschovakis,The next admissible set. J. Symbolic Logic, to appear.
3. A. Church,Introduction to Mathematical Logic, Princeton University Press, Princeton, N. J., 1956.
4. R. Jensen and C. Karp,Primitive recursive set functions, in Proceedings of the UCLA Set Theory Institute, to appear.
5. A. Lévy,A Hierarchy of Formulas in Set Theory, Mem. Amer. Math. Soc. No. 57 (1965).