1. Back and forth through infinitary logic;Barwise;Studies in Model Theory, MAA Studies,1973
2. Mostowski's collapsing function and the closed unbounded filter;Barwise;Fund. Math.,1974
3. Axioms for abstract model theory;Barwise;Ann. Math. Logic,1974
4. Some remarks on the model theory of infinitary languages;Chang,1968
5. Some results in the theory of infinitely long expressions;Čudnovskii;Soviet Math. Doklady,1968