1. Back and forth thru infinitary logic;Barwise,1973
2. Admissible sets and structures;Barwise,1975
3. Some new results in definability;Chang;Bull. Amer. Math. Soc.,1964
4. Some remarks on the model theory of infinitary languages;Chang,1968
5. Countable models of set theories;Friedman,1973