I took the qualifier-level course in logic, taught by Joel David Hamkins, in the spring semester of 2002, when I was a student at the Graduate Center of the City University of New York. I wrote (and presented) a term paper, A Hierarchy of Theories of Arithmetic, as a part of that course, and reproduce it here as a DVI file of 30,376 bytes, a Postscript file of 258,707 bytes, and a PDF file of 103,353 bytes.
The text of the paper is copyright 2002 Michael Hamm. The text of this introductory Web page is copyright 2003, 2006 Michael Hamm.