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

**2013**Moti Gitik... for his work in set theory, especially applications of large-cardinal forcings to $pcf$-theory,

**2013**Ya'acov Peterzil, Jonathan Pila, Sergei Starchenko, Alex Wilkie... for their work in model theory, especially as applied to questions in number theory.

**2018**Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven... for their work in model theory, especially on asymptotic differential algebra and the model theory of transseries.

**2023**John Steel... for his work in set theory, especially for his book "A Comparison Process for Mouse Pairs"