1. S. Aanderaa, this volume.
2. Repiesentability in some systems of second order arithmetic;Aczel;Israel J. Math.,1970
3. P. Aczel and W. Richter, Inductive definitions and analogues of large cardinals, Proc. Conf. Math. Logic London 70, Springer Lecture Notes #255.
4. P. Aczel and W. Richter, this volume.
5. Some consequences of the axiom of constructibility;Addison;Fund. Math.,1959