1. … and so on: Schütte on Naming Ordinals;The Legacy of Kurt Schütte;2020
2. Constructive order types, II;Journal of Symbolic Logic;1997-01
3. Natural well-orderings;Archiv für Mathematische Logik und Grundlagenforschung;1987-12
4. Undecidability and recursive equivalence II;Computation and Proof Theory;1984
5. Undecidability and Recursive Equivalence I;Southeast Asian Conference on Logic - Proceedings of the Logic Conference Singapore, 1981;1983