Ordinal definability in the rank hierarchy. Annals of MathematicalLogic 6 (1973), 1-39. Corrigendum, ibid.7 (1974), 325.

(With Paul E. Howard) Factorials of infinite cardinals.
Fundamenta Mathematicae XCIII (1976), 185-195.

(With Richard Mansfield) Boolean-valued set theory
and forcing. Synthese 33 (1976), 223-252.

Some ridge-length problems. Two-Year College Mathematics
Journal, December 1976, 43-45.

(With Bruce S. Babcock) A neglected approach to the logarithm.
Two-Year College Mathematics Journal, June 1978, 136-140.

The Gödel incompleteness theorem from a length-of-proof
perspective. American Mathematical Monthly 86 (1979), 740-747.

Wavefronts, box diagrams, and the product rule: a discovery
approach. Two-Year College Mathematics Journal,
March 1980, 102-106.

The published work of Kurt Gödel: an annotated bibliography. Notre Dame Journal of Formal Logic 24 (1983), 255-284.
Addenda and corrigenda, ibid. 25 (1984), 283-287.

Discussion on the foundation of mathematics [translation and
commentary]. History and Philosophy of Logic 5 (1984), 111-129.

Kurt Gödel in sharper focus. The Mathematical Intelligencer 6:4
(1984), 9-17. (See also items 13, 15, 18, 27 and 30.)

Cataloguing the Gödel Nachlaß. Philosophia Naturalis 21 (1984),
538-545. (Abstract in Abstracts of the Seventh International
Congress of Logic, Methodology, and Philosophy of Science
(Salzburg, 1983) 6, 59-61.)

Completing the Gödel-Zermelo correspondence.
Historia Mathematica 12 (1985), 66-70.

Kurt Gödel no shirarezaru sugata. (Japanese translation of item
10, by Sei Kodaira.) Sugaku Seminar 24:12 (December 1985),
31-40.

The reception of Gödel's incompleteness theorems.
Pages 253-271 in PSA 1984: Proceedings of the Biennial
Meeting of the Philosophy of Science Association
(Chicago, 1984), Volume 2 (1985). (See also items 18 and 23.)

Zaostreno na Kurta Gödela. (Czech translation of item 10,
by Petr Hajek.) Pokroky matematiky, fyziky a astronomie XXXI
(1986), 264-274. (See also item 27.)

Razgovor za g'ödel" [Conversation about Gödel].  Pages 99-103 in
Filosofska Mis"l [Philosophical Mind] XLIII:10 (1987). (Bulgarian
translation of a discussion about Gödel, part of the Advanced
Summer School and Conference on Mathematical Logic and its
Applications, Druzhba, Bulgaria, September, 1986.)

Facets of incompleteness. Pages 9-21 in Mathematical Logic and
its Applications (ed. D.G. Skordev), Plenum Publishing Company
(New York, 1988).

Reprints of items 10 and 14. Pages 1-16 and 74-95 in
Gödel's Theorem in Focus (ed. S.G. Shanker), Croom Helm
(London, 1988).

Public Image (poem). The Mathematical Intelligencer 12:1
(1990), 13.

Contrasting examples in improper integration. The
Mathematics Teacher 83:3 (1990), 201-202.

Hanging a bird feeder: food for thought. The College
Mathematics Journal 21:2 (1990), 129-130.

Displaying the conics: three alternatives to computer graphics.
PRIMUS 1 (1991), 87-93.

Reprint of item 14. Pages 84-100 in Perspectives on the History
of Mathematical Logic (ed. T. Drucker), Birkhauser (Boston, 1991).

Jean van Heijenoort: An all too brief acquaintance.
Modern Logic 2:3 (1992), 228-230.

The compactness of first-order logic: from Gödel to Lindström.
History and Philosophy of Logic 14 (1993), 15-37.

Prelude to recursion theory: the Gödel-Herbrand correspondence.
Pages 1-13 in First International Symposium on Gödel's Theorem
(ed. Z. Wolkowski), World Scientific Publishing Co.
(Singapore, 1993).

Revised reprint of item 15. Pages 10-32 in Kurt Gödel (ed. Jan
Malina and Jan Novotny), one of the series Osobnosti
(Personalities), published by Nadace Universitas Masarykiana
(Brno, 1996).

What hath Gödel wrought? Synthese 114 (1998), 3-12.

Logical contributions to the Menger colloquium. Pages 33-42 in
Ergebnisse eines Mathematischen Kolloquiums (ed. Egbert Dierker
and Karl Sigmund), Springer-Verlag (Vienna, 1998).

Reprint of item 10. Pages 401-417 in Classics from the
Mathematical Intelligencer (ed. Robin Wilson and Jeremy Gray),
Springer-Verlag (New York, 2000).

The Kentucky Vietnam veterans memorial.
The Mathematical Intelligencer 23:2(2001), 56-58.

Max Dehn, Kurt Gödel, and the trans-Siberian escape route.
Internationale mathematische Nachrichten 189
(April 2002), 1-13.

Reprint of item 32. Notices of the American Mathematical Society
49:9 (October 2002), 1068-1075.

Correction, 50:1 (January 2003), 62.

Future tasks for Gödel scholars (with Cheryl A. Dawson), Bulletin of Symbolic Logic 11:2 (June 2005), 150-171

In quest of Kurt Gödel: reflections of a biographer, Notices of the American Mathematical Society 53:4 (April, 2006), 440-443

Why do mathematicians re-prove theorems?, Philosophia Mathematica (III) 14:3 (2006), 269-286.

Reprint of item 37, in Internationale mathematische Nachrichten 204 (2007), 1-22.

(with Karl Sigmund), Gödel's Vienna, The Mathematical Intelligencer 28:3 (2006), 44-55

Kurt Gödel: A genius at odds with the Zeitgeist. Pages 15-22 in Meze formalizace, analytiènosti a prostoroèasu [Limits of formalization, analyticity and spacetime],Filosofia - nakladatelství Filoso-fického ústavu AV CR (Prague,2007). On-line version: Journal of Physics: Conference Series 82 (2007)012008 (IOP Publishing). URL: http://www.iop.org/EJ/abstract/1742-6596/82/1/012008/

Reprint of item 34, in Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, vol. 33), ed. Solomon Feferman, Charles Parsons and Stephen G. Simpson (Association for Symbolic Logic, 2008).