Descriptive Summary
Karp, Carol,
1926-1972
Carol Karp
Papers
1949-1987
Materials are
written in English.
2006-211
1 ft. 3 in.
Dolph Briscoe Center for American
History, The University of Texas at
Austin
Carol Karp (1926-1972)
was a professor of mathematics known primarily for her contributions to the
foundations of mathematics and logic. The collection consists of
correspondence, drafts, printed material, grant proposals, and teaching
materials related to Karp’s work on infinite languages and recursion theory at
the University of Maryland (1958-1972).
Biographical Note
Carol Karp (1926-1972) was a professor of
mathematics known primarily for her contributions to the foundations of
mathematics and logic. Born Carol Ruth Vander Velde on August 10, 1926 in
Forrest Grove, Michigan, Karp later went on to earn degrees in mathematics from
Manchester College in Indiana (B.A., 1948) and Michigan State University (M.A.,
1950). After teaching for a brief period at New Mexico State University
(1953-1954), she pursued her doctorate studies in mathematics at the University
of Southern California under the guidance of her adviser Leon Henkin. Karp was
awarded her Ph.D. in 1959 for her dissertation, "Languages with Expressions of
Infinite Length," which was later published as a book of the same title in
1964. She accepted a teaching position at the University of Maryland in 1958,
where she had a distinguished career leading several National Science
Foundation grant projects, acting as a consulting editor for the

Journal of Symbolic
Logic (1968-1972), and supervising four successful doctoral
students until her death in 1972.
Scope and Contents
The collection consists of
correspondence, drafts, printed material, grant proposals, and teaching
materials related to Karp’s work on infinite languages and recursion theory at
the University of Maryland (1958-1972). The collection is arranged into four
series: correspondence, research and publication materials, teaching materials,
and materials collected by one of Karp’s doctoral students, Judy Green, in
preparation of an article, "Carol Karp (1926-1972)," written for

Women of Mathematics: A
Biobibliographic Sourcebook. The arrangement of the collection
by Judy Green has been largely maintained, including her titles given to
individual subseries.
Forms part of the Archives of American
Mathematics.

Access Restrictions
Unrestricted access

Use Restrictions
These papers are stored remotely at CDL. Contact
reference staff for retrieval from offsite storage.

Preferred Citation
Carol Karp Papers, 1949-1987, Archives of
American Mathematics, Dolph Briscoe Center for American History, University of Texas at
Austin.

Index Terms
Subjects (Persons)
Barwise, Jon
Green, Judy
Karp, Carol, 1926-1972
Lopez-Escobar, Edgar G. K.,
1937-
Scott, Dana S.
Subjects (Organizations)
Association for Symbolic Logic
Journal of Symbolic Logic
University of Maryland. Dept. of
Mathematics.
Subjects
Infinitary languages
Recursion theory
Detailed Description of the Papers
Correspondence:
2006-211/1
General:
2006-211/1
A-K,
1961-1971
2006-211/1
L-Q,
1961-1971
2006-211/1
R-Z,
1963-1972
2006-211/1
Barwise, Jon,
1966-1972
2006-211/1
Kreisel, G.,
1963-1972
2006-211/1
Krueker, David,
1971-1972
2006-211/1
Lopez-Escobar, Edgar G. K.,
1963-1965
2006-211/1
Scott, Dana,
1965-1971
2006-211/1
Students:
2006-211/1
Doctoral:
2006-211/1
Gauntt, Robert,
1967-1969
2006-211/1
Gregory, John,
1968-1972
2006-211/1
Green, Judith,
1970-1972
2006-211/1
General,
1964-1972
2006-211/1
Reviews and refereeing for the Journal of Symbolic
Logic:
2006-211/1
Carol Karp articles,
1964-1972
2006-211/1
Others,
1960-1965
2006-211/1
Association of Symbolic Logic representative,
1966-1969
2006-211/1
Faculty applications to Maryland:
2006-211/1
1964-1967
2006-211/1
1968-1970
2006-211/1
1970-1972
2006-211/1
Not logic, [related primarily to university
administration],
1960-1968
2006-211/1
Miscellaneous, [related primarily to published works],
1949-1972
Research and publication materials:
2006-211/1
National Science Foundation (NSF) grant applications:
2006-211/1
NSF Grant G 11294,
1960
2006-211/1
NSF Grant GP 1586,
1963-1965
2006-211/1
NSF Grant GP 5456,
1965-1967
2006-211/1
NSF Grant GP 6897,
1966-1968
2006-211/1
NSF Grant GP 11263,
1968-1971
2006-211/1
Other grants,
1965-1972
2006-211/1
Journal articles:
2006-211/1
Drafts,
1961-1972
2006-211/1
Published,
1968-1972
2006-211/2
Reviews and abstracts,
1967
2006-211/2
Dissertation, "Languages with Expressions of Infinite
Length,"
1959
2006-211/2
Handwritten drafts:
2006-211/2
"Infinitary Logic and Recursion Theory,"
undated
2006-211/2
"Consistency Proofs in Set Theory,"
undated
Teaching materials:
2006-211/2
Course proposals and outlines,
1962-1970
2006-211/2
Logic seminar, course packet,
1970
2006-211/2
Introduction to Logic, course packet,
undated
Judy Green:
2006-211/2
Correspondence,
1972-1986
2006-211/2
Research materials:
2006-211/2
Drafts of article, "Carol Karp (1926-1972),"
undated
2006-211/2
Karp bibliography,
undated
2006-211/2
Book reviews,
1958-1974
2006-211/2
Reprints and journal articles,
1962-1973
2006-211/2
Biographical outline,
undated