1. Admissible Sets and Structures. Springer-Verlag, Berlin-Heidelberg-New York 1975.
2. and , Interpolation, preservation, and pebble games. Preprint 1996.
3. Global inductive definability
4. Omitting types in incomplete theories
5. General Theory of Boolean Algebras. Volume I of Handbook of Boolean Algebras (ed.), North-Holland Publ. Comp., Amsterdam-New York-Oxford 1989.