National Science Foundation, 1983: $700 travel grant to
attend international congress in Salzburg, Austria
 

Institute for Advanced Study, 1982-84: $32,000 stipendiary
grant-in-aid to support cataloguing of the Gödel Nachlaß

National Science Foundation, 1985-87: $18,000 grant for
summer support of work at Stanford University editing Kurt Gödel's Collected Works (part of $200,000 grant to the Gödel Editorial Project, Professor Solomon Feferman, Stanford,
principal investigator)

Alfred P. Sloan Foundation, 1986: $16,851 for support of work
on the Gödel project at Stanford University

American Council of Learned Societies, 1986: $500 travel grant
to attend international conference in Druzhba, Bulgaria

National Science Foundation, 1990 and 1992: summer support totaling $15,675 for work on vol. III of Gödel's Collected Works (renewal of grant to the Gödel Editorial Project)