A Guide to the Carol Karp Papers, 19491987





Creator: 
Karp, Carol,
19261972 

Title: 
Carol Karp
Papers 

Dates: 
19491987 

Abstract: 
Carol Karp (19261972)
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 (19581972). 

Accession No.: 
2006211 

Extent: 
1 ft. 3 in. 

Laguage: 
Materials are
written in English. 

Repository: 
Dolph Briscoe Center for American
History, The University of Texas at
Austin 
Carol Karp (19261972) 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
(19531954), 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 (19681972), and supervising four successful doctoral
students until her death in 1972.
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 (19581972). 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 (19261972)," 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.







Subjects (Persons) 


Barwise, Jon 


Green, Judy 


Karp, Carol, 19261972 


LopezEscobar, 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 
Carol Karp Papers, 19491987, Archives of
American Mathematics, Dolph Briscoe Center for American History, University of Texas at
Austin.
Detailed Description of the Papers















Correspondence: 
box 
2006211/1 


General: 




AK,
19611971 




LQ,
19611971 




RZ,
19631972 




Barwise, Jon,
19661972 




Kreisel, G.,
19631972 




Krueker, David,
19711972 




LopezEscobar, Edgar G. K.,
19631965 




Scott, Dana,
19651971 



Students: 




Doctoral: 





Gauntt, Robert,
19671969 





Gregory, John,
19681972 





Green, Judith,
19701972 




General,
19641972 



Reviews and refereeing for the Journal of Symbolic
Logic: 




Carol Karp articles,
19641972 




Others,
19601965 



Association of Symbolic Logic representative,
19661969 



Faculty applications to Maryland: 




19641967 




19681970 




19701972 



Not logic, [related primarily to university
administration],
19601968 



Miscellaneous, [related primarily to published works],
19491972 















Research and publication materials: 
box 
2006211/1 


National Science Foundation (NSF) grant applications:





NSF Grant G 11294,
1960 




NSF Grant GP 1586,
19631965 




NSF Grant GP 5456,
19651967 




NSF Grant GP 6897,
19661968 




NSF Grant GP 11263,
19681971 




Other grants,
19651972 



Journal articles: 




Drafts,
19611972 




Published,
19681972 
box 
2006211/2 


Reviews and abstracts,
1967 



Dissertation, "Languages with Expressions of Infinite
Length,"
1959 



Handwritten drafts: 




"Infinitary Logic and Recursion Theory,"
undated 




"Consistency Proofs in Set Theory,"
undated 















Teaching materials: 
box 
2006211/2 


Course proposals and outlines,
19621970 



Logic seminar, course packet,
1970 



Introduction to Logic, course packet,
undated 















Judy Green: 
box 
2006211/2 


Correspondence,
19721986 



Research materials: 




Drafts of article, "Carol Karp (19261972),"
undated 




Karp bibliography,
undated 




Book reviews,
19581974 




Reprints and journal articles,
19621973 




Biographical outline,
undated 
