
Final results of the Kurt Gödel Research Prize Fellowship 2010
The Board of Jurors for Determining the Winners
of the second round of the Kurt Gödel Research Prize Fellowships
Program and the Kurt Gödel Society are proud to announce the winners of
the 2010 competition.
Winners and their project proposals
Predoctoral category:
 Danko Ilik: Towards a new Computational Interpretation of Subclassical
Principles
 Sean Walsh: The Limits of Arithmetical Definability
Postdoctoral category:
 Maryanthe Malliaris: Comparing the Complexity of Unstable Theories
 Matteo Viale: Three Aspects of Goedel's Program:Supercompactness, Forcing
Axioms and Omega Logic
Unrestricted category:
 Ulrich Kohlenbach: New Frontiers in Proof Mining
The winners will present their winning projects at the conference marking
the completion of the Fellowships competition to be held April 2830, 2011
at the Austrian Academy of Sciences.
Finalists and their articles
The finalists were selected in first round and their articles will be
published in the Annals of Pure and Applied Logic.
Predoctoral category:
 Federico Aschieri: A Constructive Analysis of Learning in Peano Arithmetic
 Kentaro Fujimoto: Classes and Truths in Set Theory
 Danko Ilik: Delimited control operators prove Doublenegation Shift
 Sean Walsh: Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle
Postdoctoral category:
 Giovanni Curi: Topological inductive definitions
 Misha Gavrilovich: A homotopy approach to set theory
 Maryanthe Malliaris: Independence, order, and the interaction of ultraﬁlters and theories
 Lynn Scow: Characterization of NIP theories by ordered graphindiscernibles
 Matteo Viale: Three aspects of Goedel's program: supercompactness, forcing axioms, Omegalogic
 Christoph Weiss: The combinatorial essenence of supercompactness
Unrestricted category:
 Ulrich Kohlenbach: Goedel functional interpretation and weak compactness
 Andre Nies: Computably enumerable sets below random sets
 Greg Restall: A CutFree Sequent System for TwoDimensional Modal Logic, and why it matters
 Alex Simpson: Measure, Randomness and Sublocales
