1. Analogues of the MacDowell-Specker theorem for set theory. In: Models, Algebras, and Proofs (Bogota, 1995), pp. 25–50. Lecture Notes in Pure and Applied Mathematics 203 (Dekker, 1999).
2. Comparison of the axioms of local and universal choice
3. Models with tree structures. In: Proceedings of the Tarski Symposium, pp. 331–348 (AMS, 1974).
4. Models with orderings. In: Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam, 1967, pp. 35–62 (North-Holland, 1968).
5. Elementary extensions of models of set theory