1. Mostowski's collapsing function and the closed unbounded filter
2. Applications of vaught sentences and the covering theorem
3. Model Theory for Infinitary Logic. North-Holland Publ. Comp., Amsterdam—London 1971.
4. Game quantification. In: Model-Theoretic Logics, Springer-Verlag, Berlin—Heidelberg — New York 1985, pp. 365–421.
5. Countable approximations and Löwenheim-Skolem theorems