1. Infinitary Logic and Admissible Sets;Barwise;J. Symbolic Logic,1969
2. Admissible sets and structures;Barwise,1975
3. An introduction to first-oder logic;Barwise,1977
4. The Completeness Theorem for Stationary Logic (preliminary report);Barwise;Notices Am. Math. Soc.,1976
5. M. Benda, Compactness for omitting of types, to appear.