1. A partition calculus in set theory
2. Systems of predicative analysis, II: Representations of ordinals
3. Rapidly Growing Ramsey Functions
4. Introducing homogeneous trees. Proceedings of the Herbrand Symposium (ed.) North-Holland Publishing Company, Amsterdam – New York – Oxford 1982.