1. Representability in some systems of second order arithmetic;Aczel;Israel J. Math.,1970
2. [1972] Stage comparison theorems and game playing with inductive definitions, unpublished notes.
3. [1975] Quantifiers, games and inductive definitions, in: Third Scandinavian Logic Symposium, edited by S. Kanger (North-Holland, Amsterdam), pp. 1–14.
4. Admissible Sets and Structures;Barwise,1975
5. Monotone quantifiers and admissible sets,1978