Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

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:

- 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

- 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

- 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.

- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"