University of Calgary
UofC Navigation

Kurt Gödel Centenary Research Prize Finalists

This website has moved!

You are looking at an archived page. The website has moved to richardzach.org.

Submitted by Richard Zach on Mon, 01/28/2008 - 7:11pm

The finalists for the Kurt Gödel Centenary Research Prizes have been announced. They are:

Pre-doctoral category

  • David Fernández: Non-Deterministic Semantics for Dynamic Topological Logic
  • Ekaterina Fokina: Index Sets for Some Classes of Structures
  • Pavel Hrubes: On lengths of proofs in non-classical logics
  • Maryanthe Malliaris: Realization of phi-types and Keisler's order
  • Kentaro Sato: The Strength of Extensionality - Weak Weak Set Theories with Infinity
  • Henry Towsner: Ordinal Analysis by Transformations

Post-doctoral category

  • Andrey Bovykin: Independence results in concrete mathematics
  • Vasco Brattka: A Computable Version of Banach's Inverse Mapping Theorem
  • Andreas Fischer: O-minimal analytic separation of sets in dimension two
  • Stefan Geschke: Low distortion embeddings of infinite metric spaces into the real line
  • James Hirschorn: A strong antidiamond principle compatible with CH
  • Peter Koellner: On Reflection Principles

Senior category

  • Jeremy Avigad: The metamathematics of ergodic theory
  • Thierry Coquand: Space of valuations
  • Fernando Ferreira: Injecting uniformities into Peano arithmetic
  • Yuri Matiyasevich: Finite-fold Diophantine representations
  • Andreas Weiermann: Phase transitions for Goedel incompleteness

Final decisions are expected April 9. The prizes will be awarded on Kurtele's birthday, April 28, in Vienna.