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.

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

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

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

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

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

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

... for his work in set theory, especially applications of large-cardinal forcings topcf-theory,

... for their work in model theory, especially as applied to questions in number theory.

Index of Societies, honours, etc. | |

Main index | Biographies Index |

JOC/EFR October 2016

The URL of this page is:

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