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
Pre-doctoral category:
- Danko Ilik: Towards a new Computational Interpretation of Sub-classical
Principles
- Sean Walsh: The Limits of Arithmetical Definability
Post-doctoral 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 28-30, 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.
Pre-doctoral 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 Double-negation Shift
- Sean Walsh: Comparing Peano Arithmetic, Basic Law V, and Hume’s Principle
Post-doctoral 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 graph-indiscernibles
- Matteo Viale: Three aspects of Goedel's program: supercompactness, forcing axioms, Omega-logic
- 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 Cut-Free Sequent System for Two-Dimensional Modal Logic, and why it matters
- Alex Simpson: Measure, Randomness and Sublocales