Research Programme
Academic Year 2009-2010 and 2010-2011
The Infinity Project
Dates: From September 2009 to July 2011
Place: Centre de Recerca Matemàtica. Facultat de Ciències. UAB. Bellaterra (Barcelona), Spain
| How to reach the CRM |
Project leader: Sy-David Friedman, Kurt Gödel Reseach Center, Vienna
Partial list of invited research visitors:
| Tatiana Arrigoni | Fondazione Bruno Kessler, Trento |
| John T. Baldwin | University of Illinois at Chicago |
| Arnold Beckmann | University College of Swansea |
| Samuel R. Buss | University of California at San Diego |
| Yijia Chen | Shanghai Jiao Tong University |
| Fred Drueck | University of Illinois at Chicago |
| Jörg Flum | Universität Freiburg |
|
Ekaterina Fokina |
Kurt Gödel Research Center, Vienna |
| Loren Graham | Harvard University |
| Rami Grossberg | Carnegie Melon University |
| Tapani Hyttinen | University of Helsinki |
| Jean-Michel Kantor | Université de Paris VII |
| Julia Knight | University of Notre Dame |
| Lars Kristiansen | University of Oslo |
| Vadim Kulikov | University of Helsinki |
| Juan Carlos Martínez | Universitat de Barcelona |
| Russell Miller | Queen's College, New York |
| Antonio Montalban | University of Chicago |
| Michael Rathjen | University of Leeds |
| Andrés Villaveces | Universidad Nacional, Colombia |
| Albert Visser | Universiteit Utrecht |
| Andreas Weiermann | University of Ghent |
Infinity postdocs:
| Martin Koerwien | Centre de Recerca Matemàtica (Barcelona) |
| Moritz Martin Müller | Centre de Recerca Matemàtica (Barcelona) |
Infinity Conference: International meeting to take place July 18 to 22, 2011
| INFINITY PROJECT SEMINAR |
The Infinity Project
This is a multidisciplinary research project, funded by the John Templeton Foundation. The Infinity Postdocs will join the Invited Research Visitors, the Project Director and Barcelona logicians to discover radically new connections between different areas of logic in the context of the six project themes.
1. History and Philosophy of Set Theory (Loren Graham, Jean-Michel Kantor, Tatiana Arrigoni)
The Luzin archive, Cartesianism vs. Luzinism in modern set theory, Grothendieck's concept of naming, the concept of maximality in set theory.
2. Sets and Computations (Albert Atserias, Arnold Beckmann, Sam Buss, Yijia Chen, Joerg Flum, Moritz Mueller)
Forcing in complexity theory, isomorphism relations on finite models.
3. Sets and Proofs (Lars Kristiansen, Michael Rathjen, Albert Visser, Andreas Weiermann)
Classes of provably recursive functions, proof-theoretic operators, relativised ordinal analysis.
4. Sets and Models (John Baldwin, Fred Drueck, Rami Grossberg, Tapani Hyttinen, Martin Koerwien, Vadim Kulikov, Andres Villaveces)
Higher descriptive set theory and first-order model theory, abstract elementary classes and axioms for set theory.
5. Computations and Proofs (Arnold Beckmann, Sam Buss, Yijia Chen, Joerg Flum, Moritz Mueller)
Optimal algorithms, bounds on cut-elimination, theories and algorithms.
6. Computations and Models (Katia Fokina, Julia Knight, Russell Miller, Antonio Montalban)
Isomorphism relations on computable models.
This page was last updated on
15/03/2011