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

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

JOC/EFR March 2015

The URL of this page is:

http://www-history.mcs.st-andrews.ac.uk/history/Societies/Karp.html