Grant Search: Greater than $1 Million, 2007

Jeremy Avigad, Carnegie Mellon University, The Infinite in Combinatorics and Number Theory

Alexandre Borovik, University of Manchester, A Dialogue of Infinity

Andrey Bovykin, University of Bristol, The Study of Unprovability

Lorenzo Carlucci, University of Rome, Shadows of Inifinty

Laura Crosilla, Universita delgi Studi di Firenze, Infinity in Constructive Mathematics

Kirsten Eisentrager, Pennsylvania State University, Extensions of Hilbert's Tenth Problem

William Ewald, University of Pennsylvania, Cantor, Hilbert, and the Infinite

Su Gao, University of North Texas, Classifying Infinity

Denis Hirschfeldt, University of Chicago, Effective Mathematics of the Uncountable

Peter Koellner, Harvard University, Prospects for Resolving the Continuum Hypothesis: Inner Model Theory and the Structure Theory of L

Jan Krajicek, Charles University, Prague, Proof Complexity and Infinite Structures

Steffen Lempp, University of Wisconsin, Exploring the Infinte by Finitary Means

Florian Pop, University of Pennsylvania, Exploring the Infinite: Discrete versus Non-Discrete and Beyond

Thomas Scanlon, University of California, Berkeley, Boundedness, Finiteness, and Infinity in Diophantine Geometry

Alexandra Shlapentokh, East Carolina University, Defining Integrality at Infinitely Many Primes and Other Infinite Problems Connected to Diophantine Definability and Decidability

Richard Shore, Cornell University, Computability, Provability, and Infinity

Stephen G. Simpson, Pennsylvania State University, Degree Theory: A New Beginning

Theodore Slaman, University of California, Berkeley, Randomness and the Infinite

John Steel, University of California, Berkeley, Exploring the Infinite: Mathematics and Mathematical Logic

Andreas Weiermann, Ghent University, Phase Transitions in Logic and Combinatorics (PTLC)

Phillip Welch, University of Bristol, Philosophical Theories of Truth, Transfinite Computation, and Infinite Games