1. J. Addison [1962] The theory of hierarchies, in: Proceedings of rhe Inrernarional Congress of Logic, Methodology, and Philosophy of Science, Stanford, 1960, pp. 26–37
2. Infinitary logic and admissible sets;Barwise;J. Symbolic Logic,1969
3. Admissible Sers and Srrucrures,1975
4. Some new results in definability;Chang;Bull. Am. Math. Soc.,1964
5. Model Theory;Chang,1973