

Sacks Prize Recipients
2016 Sacks Prize
Will Johnson, University of California, Berkeley, and Ludovic Patey, Université Paris VII
Johnson received his Ph.D. in 2016 from the University of California, Berkeley, under the supervision of Tom Scanlon. Johnson's thesis, Fun with Fields, contains a number of outstanding results in the model theory of fields, including the classification of the fields $K$ whose theories have the property of "dpminimality", a strong form of "not the independence property". Johnson's main breakthrough is the construction of a definable topology on $K$, when $K$ is not algebraically closed, introducing vastly new ideas and techniques into the subject.
Patey received his Ph.D. in 2016 from the the Université Paris VII under the supervision of Laurent Bienvenu and Hugo Herbelin. In his thesis, The Reverse Mathematics of Ramseytype Theorems, he solved a large number of problems in the reversemathematical and computabilitytheoretic analysis of combinatorial principles. In doing so, he combined great technical ability with a powerful eye for unification, isolating several notions that have helped systematize the area.
2015 Sacks Prize
Omer BenNeria, University of California, Los Angeles, and Martino Lupini, California Institute of Technology
BenNeria received his Ph.D. in 2015 from Tel Aviv University under the supervision of Moti Gitik. In his thesis, The Possible Structure of the Mitchell Order, he proved the remarkable result that, under suitable large cardinal assumptions on the cardinal $\kappa$, every wellfounded partial order of cardinality $\kappa$ can be realized as the Mitchell order of $\kappa$ in some forcing extension. The Prizes and Awards Committee noted that the proof is a tour de force combination of sophisticated forcing techniques with the methods of inner model theory.
Lupini received his Ph.D. in 2015 from York University, Toronto under the supervision of Ilijas Farah. His thesis, Operator Algebras and Abstract Classification, includes a beautiful result establishing a fundamental dichotomy in the classification problem for the automorphisms of a separable unital $C^*\/$algebra up to unitary equivalence, as well as a proof that the Gurarij operator space is unique, homogeneous, and universal among separable 1exact operator spaces. The Prizes and Awards Committee noted that his thesis exhibits a high level of originality, as well as technical sophistication, in a broad spectrum of areas of logic and operator algebras.
2014 Sacks Prize
No prize was awarded.
The 2013 Sacks Prize
Artem Chernikov, Université Paris 7Diderot and MSRI and Nathanaël Mariaule, Seconda Università di Napoli
Chernikov received his Ph.D. in 2012 from Université Claude BernardLyon 1 under the supervision of Itaï Ben Yaacov. His thesis, Sur les théories sans la propriété de l'arbre du second type (On theories without the tree property of the second kind\/), is a fundamental contribution to the development of model theory in unstable theories. He develops a good theory of forking in $\hbox{NTP}_2\/$theories, a class containing all simple theories and all NIP theories, and shows that the ultraproduct of $p\/$adic fields, as $p$ varies, is $\hbox{NTP}_2\/$.
Mariaule received his Ph.D. in 2013 from Manchester University under the direction of Alex Wilkie. In his thesis, On the decidability of the $p\/$adic exponential ring, Mariaule solved a longstanding problem in the model theory of the ring of $p\/$adic integers with exponentiation. He proved an effective model completeness theorem and, using a appropriate version of Schanuel's Conjecture, showed decidability.
The 2012 Sacks Prize
Pierre Simon, Hebrew University of Jerusalem
Simon received his Ph.D. in October 2011 from the Université ParisSud, under the supervision of Elisabeth Bouscaren. The Prizes and Awards Committee notes that his thesis, Ordre et stabilité dans les théories NIP: "provides new model theoretic tools and concepts for the study of NIP structures, a generalization of stability that also encompasses ominimal structures, algebraically closed valued fields, and the padics. The thesis makes substantial progress at the full generality of NIP theories, and at the same time obtains new results and new proofs in classical settings. It stands out for its depth, originality, and elegance in seeking the appropriate tools and dividing lines for the subject.''
The 2011 Sacks Prize
Mingzhong Cai, University of Wisconsin, Madison and Adam Day, University of California at Berkeley
Cai received his Ph.D. in 2011 from Cornell University, under the supervision of Richard Shore. The Prizes and Awards Committee notes that his thesis, Elements of Classical Recursion Theory: DegreeTheoretic Properties and Combinatorial Properties, introduces powerful new techniques that are used to solve several longstanding open problems, among the most striking of which are the definability of array nonrecursiveness, and a solution to an old problem of Lerman's about the relation between minimal covers of minimal degrees and the standard jump classes.
Day received his Ph.D. in 2011 from Victoria University of Wellington under the supervision of Rodney Downey. The Committee cited that his thesis, Randomness and Computability, draws on the Russian and Western developments in algorithmic randomness, unifies them, and comes to new results straddling both points of view, among them a recursion theoretic analysis of Levin's neutral measure (done jointly with J. Miller), and a sharpening of one of the most famously difficult results in the theory of Kolmogorov complexity, Gács' theorem that monotone complexity and a priori entropy differ.
The 2010 Sacks Prize
Uri Andrews, University of WisconsinMadison
Andrews received his Ph.D. in 2010 from the University of California, Berkeley, under the supervision of Thomas Scanlon. The Prizes and Awards Committee notes that in his thesis, Amalgamation Constructions in Recursive Model Theory, he combines deep methods from model theory and computability to solve some problems posed by Goncharov that had resisted solution by specialists in computability theory.
The 2009 Sacks Prize
Isaac Goldbring and Grigor Sargsyan, both of the University of California, Los Angeles
Goldbring received his Ph.D. in 2009 from the University of Illinois at UrbanaChampaign, under the supervision of Lou van den Dries. The Prizes and Awards Committee notes that in his thesis, Nonstandard Methods in Lie Theory, he applies model theory to a fundamental problem from topological group theory and that the main result replaces an incorrect proof in a widely cited paper from 1957 using totally new ideas.
Sargsyan received his Ph.D. in 2009 from the University of California, Berkeley under the supervision of John Steel. The Committee cited that his thesis, A Tale of Hybrid Mice, contains “uncountably many new ideas” in inner model theory.
The 2008 Sacks Prize
Inessa Epstein, California Institute of Technology and Dilip Raghavan, University of Toronto
Epstein received her Ph.D. in 2008 from the University of California, Los Angeles, under the supervision of Greg Hjorth. The Prizes and Awards Committee citation notes that in her thesis, Some results on orbit inequivalent actions of nonamenable groups, she "solves one of the most important problems in measurable group theory, the resolution of which involves a combination of depp results from different branches of mathematics."
Raghavan received his Ph.D. in 2008 from the University of Wisconsin at Madison under the supervision of Bart Kastermans and Ken Kunen. The Committee cited that his thesis, Madness and set theory, "uses modern methods associated with independence proofs to obtain, just using Z F C, results on almost disjoint (MAD) families, that in particular solve a twentyyear old problem of Van Douwen."
The 2007 Sacks Prize
Adrien Deloro, Rutgers University and Wojciech Moczydlowski, Cornell University
Deloro received his Ph.D. in 2007 from the Université Paris 7, under the supervision of Eric Jaligot. The Prizes and Awards Committee citation notes that his thesis, Groupes simples connexes minimaux de type impair, "deals with the CherlinZilber conjecture, according to which every simple group of finite Morley rank is isomorphic to an algebraic group over an algebraically closed field. In particular, the thesis removes the assumption that there are no bad fields from the classification of minimal counterexamples. Deloro operates with an impressive mastery of a wide range of techniques, which must be interwoven in a very delicate way, and contributes to them in important ways. The result is significant progress on a basic open problem.''
Moczydlowski received his Ph.D. in 2007 from Cornell University under the supervision of Robert Constable. The Committee cited that his thesis, Investigations on sets and types, "contains ground breaking results on constructive set theory and its relation to type theory. Among other things, Moczydlowski proves weak normalization for the theory IZF_R, Intuitionistic ZermeloFraenkel Set Theory with Replacement rather than Collection. He also introduces IZF_D, a novel combination of type theory and set theory which has the prooftheoretic power of ZFC, and proves normalization for this theory.''
2006 Sacks Prize
Matteo Viale, University of Torino and the University of Paris 7
Viale received his Ph.D. in 2006 from the University of Torino and the University of Paris 7, under the supervision of Alessandro Andretta and Boban Velickovic. The Committee's citation reads: "Viale's thesis makes fundamental contributions to our understanding of the consequences of forcing axioms in the combinatorics of singular cardinals. In particular, it solves a wellknown problem, by showing that the Proper Forcing Axiom implies the Singular Cardinals Hypothesis.''
2005 Sacks Prize
Antonio Montalbán, University of Chicago
Montalbán received his Ph.D. in 2005 from Cornell University, under the supervision of Richard Shore. The Committee on Prizes and Awards' citation reads: "The thesis, entitled Beyond the Arithmetic, contains deep and major contributions to an impressively broad array of areas in logic, including computability theory, reverse mathematics, and effective mathematics. It uses a wide arsenal of techniques from set theory, computability theory, proof theory and combinatorics including the development of a new class of invariants for countable linear orderings."
2004 Sacks Prize
Joseph Mileti, University of Chicago, and Nathan Segerlind, University
of Washington
Mileti received his
Ph.D. in 2004 from the University of Illinois at UrbanaChampaign, under
the supervision of Carl Jockusch. His thesis, Partition theorems and
computability theory, was cited by the Prizes and Awards Committee
as containing a "penetrating computability theoretical analyses of
Ramseytype theorems, an important feature of which is an ingeneous completely
new proof of the Canonical Ramsey Theorem whose ideas allowed a deep effective
analysis of this theorem.''
Segerlind received his Ph.D. in 2004 from the University of California,
San Diego, under the supervision of Sam Buss and Russell Impagliazzo.
The Committee noted that his thesis, New Separations in Propositional
Proof Complexity, "extends switching lemmas, one of the most
primary tools in the area, in a very unexpected way, that, among other
things allowed him to take, in a single step, one important proof system
from an almost complete mystery to being almost completely understood.''
2003 Sacks Prize
Itay Ben Yaacov, Massachusetts Institute of Technology
Ben Yaacov received his Ph.D. in 2002 from the University of Paris VII, under the supervision of Daniel Lascar. His thesis, Théories simples : constructions de groupes et interprétabilité généralisée, was cited by the Committee as, "a major contribution to pure model theory on two intimately related fronts: an extension of simplicity theory beyond the first order context, and the interpretability of groups in simple theories.''
2002 Sacks Prize
No prize was awarded.
2001 Sacks Prize
Matthias
Aschenbrenner, University of California, Berkeley
Aschenbrenner received his Ph.D. in 2001 from the University of Illinois at UrbanaChampaign, under the direction of Lou van den Dries. His thesis solves a longstanding problem concerning the complexity of the ideal membership problem in the polynomial ring over the integers. Aschenbrenner shows that the complexity of this problem is doubly exponential in the number of variables, which is optimal since single exponential complexity was known to be impossible.
2000 Sacks Prize
Eric Jaligot, Universite Claude Bernard (Lyon1)
Jaligot received his Ph.D. in 1999 from the Institut Girard Desargues,
Universite Claude Bernard (Lyon1), under the direction of Tuna Altinel
and Bruno Poizat. His thesis concerned the CherlinZil'ber Conjecture,
which asserts that infinite simple groups of finite Morley rank are algebraic
groups over algebraically closed fields.
1999 Sacks Prize
Denis Hirschfeldt, Cornell University and Rene Schipperus, University
of Colorado
This was the first year the Prize was awarded under the auspices of the
ASL. Denis Hirschfeldt received his Ph.D. in 1999 from Cornell University,
under the guidance of Richard Shore. In his thesis, he introduced a new
technique for building constructive models which solves an open question
which had evaded solution despite attempts by some of the top people in
the field. These techniques have since been applied to solve other questions.
He also introduced a new class of problems which have since become a focal
point for investigations by others. The committee felt that this thesis
was marked by ingenuity, insight, originality, and considerable technical
prowess. Rene Schipperus received his Ph.D. in 1999 from the University
of Colorado, under the guidance of Richard Laver. In his thesis, he introduced
new techniques to solve a problem of Erdös on ordinal partition relations
which had been open for about 30 years. The thesis has stimulated work
which led to some generalizations of Schipperus's result. The committee
felt that this result required a quite intricate proof and the thesis
introduced a gametheoretic technique that is quite different from what
had been tried before in that area.
1998 Sacks Prize  there was no Prize awarded this year.
1997 Sacks Prize
Ilijas Farah, University of Toronto and Tom Scanlon, Mathematical
Sciences Research Institute in Berkeley
Farah received his Ph.D. in June, 1997, at the University of Toronto under
the direction of Stevo Todorcevic. His thesis contained remarkable results
concerning the structure of analytic ideals and their quotients. Scanlon
received his Ph.D. form Harvard University in June, 1997, under the direction
of Ehud Hrushovski. His thesis provided a model completion for the theory
of differential fields connected by a specialization, together with striking
applications of the model theory of valued differential fields to diophantine
geometry.
1996 Sacks Prize
Dr. Byunghan Kim, Fields Institute and Dr. Itay Neeman, Harvard University
Dr. Kim received his Ph.D. under the direction of Professor Anand Pillay
at the University of Notre Dame in August, 1996. His thesis included groundbreaking
work in the area of Stability Theory, concerning the study of simple theories.
Dr. Neeman wrote his thesis with John Steel at UCLA, earning his degree
in June, 1996. In it, he established some striking results in the area
of Determinacy in set theory.
1995
Sacks Prize
Dr. Slawomir Solecki, Caltech
Dr. Solecki received his Ph.D. under the direction of Professor Alexander
Kechris of Caltech in June, 1995. His doctoral dissertation was entitled
"Applications of descriptive set theory to topology and analysis"
and was notable for its surprising results connecting modern descriptive
set theory with other areas of mathematics such as ergodic theory and
harmonic analysis.
1994 Sacks Prize
Gregory Hjorth, California Institute of Technology
The first Sacks Prize was awarded to Professor Gregory Hjorth of the California
Institute of Technology, as author of the best dissertation in the field
of logic during 1993 and 1994. Hjorth completed his Ph.D. in 1993 under
the direction of Professor W. Hugh Woodin at the University of California
at Berkeley. His thesis research in descriptive set theory was singled
out by the selection committee for its surprising consequences concerning
the relationship between projective sets and large cardinals.
[ Meetings  Announcements  Membership  Journals  ASL Books  Links to Other Sites  ASL Info  Home]