1. Admissible sets and structures;Barwi se,1975
2. Handbook of Mathematical Logic,1977
3. [Be] H. Becker Partially playful universes, in [Ke - Mo 2].
4. [Bu] J. P. Burgess Infinitary languages and descriptive set theory, Doctoral dissertation, Univ. Calif. Berkeley, 1974.
5. Long projective we 11-orderings;Harrington;Ann. Math. Logic,1977