Publications of H. B. Enderton

Books

A mathematical introduction to logic.   Academic Press, 1972.   Second edition, 2001.  Spanish translation, 1987; second edition, 2004.  Chinese translation, 2006.

Elements of set theory.   Academic Press, 1977.

Linear algebra, 3rd ed. (with Michael O'Nan).   HBJ, 1990.

Computability Theory: An Introduction to Recursion Theory.   Academic Press, 2010.

Papers

1. Hierarchies in recursive function theory.   Transactions of the American Mathematical Society, vol. 111 (1964), pp. 457-471.   Offprint in pdf format.

2. Hierarchies over recursive well-orderings (with David Luckham).   The journal of symbolic logic, vol. 29 (1964), pp. 183-190.

3. An infinitistic rule of proof.   The journal of symbolic logic, vol. 32 (1967), pp. 447-451.

4. On provable recursive functions.   Notre Dame journal of formal logic, vol. 9 (1968), pp. 86-88.

5. The unique existential quantifier.   Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 52-54.

6. A note on the hyperarithmetical hierarchy (with Hilary Putnam).   The journal of symbolic logic, vol. 35 (1970), pp. 429-430.

7. Finite partially-ordered quantifiers.   Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393-397.

8. Approximating the standard model of analysis (with Harvey Friedman).   Fundamenta mathematicae, vol. 72 (1971), pp. 175-188.

9. Degrees of computational complexity.   Journal of computer and system sciences, vol. 6 (1972), pp. 389-396.

10. Constructible beta-models.   Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 19 (1973), pp. 277-282.

11. Elements of recursion theory.   Handbook of mathematical logic, edited by J. Barwise, North-Holland Publishing Co., 1977, pp. 527-566.   This paper is viewable on Google Books.

12. Set theory.   Encyclopedia of physical science and technology, Academic Press, 1987, vol. 12, pp. 545-553.   Pdf file.

13. In memoriam: Alonzo Church.   The bulletin of symbolic logic, vol. 1 (1995), pp. 486-488.   Postscript file.

14. Alonzo Church and the reviews.   The bulletin of symbolic logic, vol. 4 (1998), pp. 172-180.   Postscript file.

15. Computability theory.   Encyclopedia of philosophy, second edition, edited by D. Borchert, Thomson Gale, 2006, vol. 2, pp. 372-390.  Preliminary draft in pdf format.

16. Turing and computability theory.   Encyclopedia of philosophy, second edition, edited by D. Borchert, Thomson Gale, 2006, vol. 6, pp. 476-478.  Preliminary draft in pdf format.

17. Various articles on set theory.   Encyclopaedia Britannica, to appear.  Preprint in pdf format of some of these.

18. Alonzo Church: Life and work.   Collected works of Alonzo Church, MIT Press, pp. xiii-xix, to appear.   Preprint in pdf format.

19. Second-order and higher-order logic.   Stanford encyclopedia of philosophy.   Published December 2007.   Online article.  

20. Theories of equality.   In preparation.

21. Why measure with real numbers?   In preparation.

Abstracts

1. Hierarchies in recursive function theory.   Notices of the American Mathematical Society, vol. 9 (1962), p. 221.

2. A language of order 1 1/2.   Notices of the American Mathematical Society, vol. 14 (1967), p. 679.

3. Completeness in Chang's modal model theory.   Notices of the American Mathematical Society, vol. 20 (1973), p. A-450.

Reviews

Various reviews, published in
 Mathematical reviews,
 The journal of symbolic logic,
 The bulletin of symbolic logic,
 Zentralblatt für Mathematik und ihre Grenzebiete.