1. Inductive definitions and their closure ordinals;Aanderaa,1974
2. Representability in some systems of second order arithmetic;Aczel;Israel J. Math.,1970
3. [1972] Stage comparison theorem and game playing with inductive definitions, unpublished notes
4. [1973] Infinitary logic and the Barwise compactness theorem, in: Proceedings of the Bertrand Russell Logic Conference, edited by J. Bell. J. Cole. G. Priest and A. Slomson (published by the conference) pp. 234–277
5. [1975] Quantifiers, games and inductive definitions, in: Third Scandinavian Logic Symposium, edited by S. Kanger, (North-Holland, Amsterdam) pp. 1–14