1. Inductive definitions and their closure ordinals;Aanderaa,1974
2. P. Aczel, Stage comparison theorems and game playing with inductive definitions, preprint.
3. Quantifiers, games and inductive definitions;Aczel,1975
4. Some consequences of the axiom of constructibility;Addison;Fund. Math.,1959
5. Some consequences of the axiom of definable determinateness;Addison;Proc. of Nat. Acad. of Sc., USA,1968