Karp Prize

The Karp Prize


The Karp Prize was established in 1973 in memory of Carol Karp. It is awarded for an outstanding paper or book in the field of symbolic logic. The award is made by the Association for Symbolic Logic every five years.


1978 Robert Vaught

1983 Saharon Shelah

... for his work on the number of nonisomorphic models of first order theories.

1988 Donald A Martin, John R Steel and W Hugh Woodin

... for their work establishing from the existence of a supercompact cardinal that the Axiom of Determinacy holds in the smallest transitive model of ZF containing all reals and all ordinals.

1993 Ehud Hrushovski

... for his introduction of new methods in geometric stability theory.

1993 Alex Wilkie

... for proving the model completeness of the field of real numbers with the exponential function.

1998 Ehud Hrushovsk

... for his work on the Mordell-Lang Conjecture.

2003 Gregory Hjorth and Alexander Kechris

... for their work on Borel equivalence relations, in particular for their results on turbulence and countable Borel equivalence relations.

2008 Zlil Sela

... for his fundamental work connecting logic with geometric group theory.


Index of Societies, honours, etc.
Welcome page Biographies Index
History Topics Index Famous curves index
Chronology Time lines
Mathematicians of the day Anniversaries for the year
Search Form Birthplace Maps

JOC/EFR August 2009

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/history/Societies/Karp.html