Finding Aid for the Herbert B. Enderton papers, circa 1964-2009 LSC.1875
Finding aid prepared by Kelly Besser with assistance from Alyssa Goodstein, 2013; machine-readable finding aid created by
Caroline Cubé.
UCLA Library Special Collections
2013
Room A1713, Charles E. Young Research Library
Box 951575
Los Angeles, CA 90095-1575
spec-coll@library.ucla.edu
Contributing Institution:
UCLA Library Special Collections
Title: Herbert B. Enderton papers
Identifier/Call Number: LSC.1875
Physical Description:
2.2 Linear Feet
(6 boxes)
Date (inclusive): circa 1964-2009
Abstract: Herbert B. Enderton was a mathematician and logician who taught mathematics at UCLA for over four decades, edited the Journal
of Symbolic Logic's Reviews Section for more than three decades, chaired the UCLA Logic Colloquium, and was an internationally
renowned textbook author in the areas of mathematical logic and set theory. The collection consists of publications authored
by Enderton, his handwritten and typed UCLA Logic Colloquium talks, correspondence, publication reviews, referee reports,
UCLA mathematics course evaluations, and records related to his professional involvement with the Association for Symbolic
Logic (ASL), the Journal of Symbolic Logic (JSL) and the Bulletin of Symbolic Logic (BSL).
Physical Location: Stored off-site at SRLF. Advance notice is required for access to the collection. Please contact the UCLA Library Special
Collections Reference Desk for paging information.
Language of Material: Materials are in English.
COLLECTION STORED OFF-SITE AT SRLF: Open for research. Advance notice required for access. Contact the UCLA Library Special
Collections Reference Desk for paging information.
Restrictions on Use and Reproduction
Property rights to the physical object belong to the UCLA Library Special Collections. Literary rights, including copyright,
are retained by the creators and their heirs. It is the responsibility of the researcher to determine who holds the copyright
and pursue the copyright owner or his or her heir for permission to publish where The UC Regents do not hold the copyright.
[Identification of item], Herbert B. Enderton papers (Collection 1875). Library Special Collections, Charles E. Young Research
Library, UCLA.
Provenance/Source of Acquisition
Gift of Catherine Enderton, 2011.
Processed by Kelly Besser with assistance from Alyssa Goodstein, 2013.
UCLA Catalog Record ID:
7284249
Herbert Bruce Enderton was born on April 15, 1936 in Schofield Barracks, Hawaii. He received his B.S. in mathematics from
Stanford University in 1958 and his M.A. and Ph.D. in mathematics from Harvard University in 1959 and 1962. He had a postdoctoral
appointment from the Massachusetts Institute of Technology (MIT) from 1962 to 1964 and worked as an assistant professor at
UC Berkeley from 1964 to 1968. In 1968 Enderton came to UCLA where he accepted a position as a lecturer with the mathematics
department and another position as the Reviews Section Editor of the Journal of Symbolic Logic (JSL) where he worked alongside
fellow mathematician and logician Alonzo Church. Enderton also served as the JSL's Coordinating Editor from 1980-2002. Enderton
was active in the American Mathematical Society, the Association for Symbolic Logic, the Association for Computing Machinery
and chaired the UCLA Logic Colloquium for decades. Enderton's thesis and the majority of his published research were on recursion
theoretic hierarchies of sets of integers. His other research interests included definability theory, models of analysis,
computational complexity and the history of logic. His first book,
A Mathematical Introduction to Logic, was published in 1972 and is often used as the standard reference to logic. Spanish and Chinese translations were published
in 2004 and 2006. Enderton also published another successful textbook,
Elements of Set Theory in 1977. He retired from UCLA in 2003 as professor emeritus but continued to teach until he became ill in 2009. Herbert B.
Enderton died at his home in Santa Monica on October 22, 2010. His final textbook,
Computability Theory: An Introduction to Recursion Theory was completed after he became ill and published in 2011.
The collection consists of publications authored by Enderton, his handwritten and typed UCLA Logic Colloquium talks, correspondence,
publication reviews, referee reports, UCLA mathematics course evaluations and records related to his professional involvement
with the Association for Symbolic Logic (ASL), the Journal of Symbolic Logic (JSL) and the Bulletin of Symbolic Logic (BSL).
Materials also include correspondence between Enderton and his JSL Reviews Section colleague and collaborator, Alonzo Church
and a set of Church's manuscripts and reprints.
box 1, folder 1-10
Calculations 1971-2008
Files related to manuscripts and publications authored by Enderton. Materials include the following: "Degrees of Computational
Complexity," "A Note on the Hyperarithmetical Hierarchy," "Completeness in Chang's Modal Model Theory," "The Unique Existential
Quantifier," "A Language of Order 1 1/2," and a file on the Busy Beaver problem and Turing machines.
box 5, folder 2-7, box 1, folder 11-16
Association for Symbolic Logic circa 1978-2007
The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic.
It was founded in 1936 and its primary function is to provide an effective forum for the presentation, publication, and critical
discussion of scholarly work in this area of inquiry.
Box 1: Materials include correspondence, newsletters, bulletins, membership applications, ballots and membership lists.
Box 5: Materials include ASL Council correspondence and minutes.
box 5, folder 8-12, box 2, folder 1-6
Journal of Symbolic Logic 1957-1969, 1971-1988
The Journal of Symbolic Logic (JSL) began publishing in 1936 and included a Reviews Section edited by Alonzo Church from 1936
until 1979. Enderton also edited the Reviews Section beginning in 1968 and then served as the Coordinating Editor from 1980-2002.
The JSL publishes original scholarly work in the field of logic and includes new aspects related to other disciplines such
as computer science and linguistics.
Box 2: Materials include correspondence concerning reviews, notes on indexing, editorial notes, a copy of the Omega-Group
Thesaurus of Mathematical Logic and correspondence by Alonzo Church.
Box 5: Materials include correspondence between Church and Enderton, staff lists, and the editorial and administrative files
of Church and Enderton.
box 2, folder 7
box 4, folder 1, box 3, folder 1-5
Publications 1964-1968
Box 3: Manuscripts and reprints authored by Enderton include the following titles: "Approximating the Standard Model of Analysis,"
"An Infinitistic Rule of Proof," "Hierarchies in Recursive Function Theory," "Finite Partially Ordered Quantifiers," "On Provable
Recursive Functions," "A Good Property of the Hyperarithmetic Hierarchy," and "Hierarchies Over Recursive Well-Orderings."
Box 4: Reprints include the following titles: "Elements of Recursion Theory," "Set Theory," "Alonzo Church and the Reviews"
and "In Memoriam: Alonzo Church."
box 3, folder 6
box 3, folder 7
box 3, folder 8
Bulletin of Symbolic Logic 1993
Correspondence concerning the ASL's establishment of the Bulletin of Symbolic Logic (BSL). According to the ASL, the BSL's
main purpose is to help the logic community keep abreast of important developments in all parts of its discipline. The Reviews
Section was published in The Journal of Symbolic Logic from its founding in 1936 until March 2000 when the Reviews Section
was moved to the BSL by the Association. The history of the Reviews is discussed in Enderton's article, "Alonzo Church and
the Reviews" and published in the BSL in 1998. Reprints of this article may be found within Box 3 and 4 of his publications
files.
box 4, folder 2
box 4, folder 3-4
box 5, folder 1
box 6, folder 1
box 6, folder 2
box 6, folder 3
box 6, folder 5-8
Church manuscripts and reprints 1941-1976
Alonzo Church's manuscripts and reprints include the following titles: "Misogyny and Ontological Commitment," "Application
of Recursive Arithmetic in the Theory of Computers and Automata," "Remarks on the Elementary Theory of Differential Equations
as an Area of Research," "Elementary Topics in Mathematical Logic: Set Theory," "Comparison of Russell's Resolution of the
Semantical Antinomies with that of Tarski," "An Independence Question in Recursive Arithmetic," "Logic and Analysis," "Mathematics
and Logic," "The Need for Abstract Entities in Semantic Analysis," "Nominalism and Logic," "Set Theory with a Universal Set,"
"Outline of a Revised Formulation of the Logic of Sense and Denotation," "On the Form of Differential Equations of a System
of Paths," "Paul J. Cohen and the Continuum Problem" and "The Weak Theory of Implication." Materials also include Church's
handwritten notes attached to specific papers and Church's correspondence with the Encyclopaedia Britannica Editorial Department.