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
Room A1713, Charles E. Young Research Library
Box 951575
Los Angeles, CA 90095-1575

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.

Restrictions on Access

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.

Preferred Citation

[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.

Processing Information

Processed by Kelly Besser with assistance from Alyssa Goodstein, 2013.

UCLA Catalog Record ID

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.

Scope and Content

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

Scope and Content

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

Scope and Content

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

Scope and Content

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

Sense and Denotation 1946, 1950-1954

Scope and Content

Photocopies of Alonzo Church lecture notes and correspondence.
box 2, folder 8

UCLA mathematics courses 1978-2009

Scope and Content

Enderton's course evaluations.
box 4, folder 1, box 3, folder 1-5

Publications 1964-1968

Scope and Content

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

Reviews 1971-1988

Scope and Content

Enderton's correspondence with publishers regarding his reviews of publications.
box 3, folder 7

Referee reports 1970-1977

Scope and Content

Enderton's correspondence, notes and referee reports on papers submitted to the JSL.
box 3, folder 8

Bulletin of Symbolic Logic 1993

Scope and Content

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

Turing 50 paper

Scope and Content

Correspondence to Enderton inviting his contribution to a volume of essays written to commemorate the 50th anniversary of the Universal Turing Machine.
box 4, folder 3-4

Logic Colloquium 1975-2009

Scope and Content

Correspondence and announcements concerning Logic Colloquiums at UCLA, also known as VIG (Very Informal Gathering of Logicians).
box 5, folder 1

AC 80

Scope and Content

Correspondence concerning Alonzo Church's 80th birthday celebration.
box 6, folder 1

Book on Set Theory

Scope and Content

Correspondence and notes concerning Enderton's book, Elements of Set Theory.
box 6, folder 2

Colloquium talks 1964-2001

Scope and Content

Enderton's Logic Colloquium notes and transcripts of talks.
box 6, folder 3


Scope and Content

Enderton's curriculum vitae, lists of reviews, biographical summary and lists of publications.
box 6, folder 4

Library guides

Scope and Content

Informational guides for UCLA libraries.
box 6, folder 5-8

Church manuscripts and reprints 1941-1976

Scope and Content

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.