Workshop on Proof Theory

Ghent University

June 26, 2009


Room B
Department of Pure Mathematics and Computer Algebra
Building S22
Krijgslaan 281
B 9000 Gent
Map and directions


09:15 Coffee
09:30 Sato Kentaro - An impact of infinity
10:30 Sam Sanders - More infinity for a better mathematics!
11:00 Coffee
11:15 Michiel De Smet - Phase transitions related to the pigeonhole principle
11:45 Wim Van Hoof - Phase transitions for transfinite iteration hierarchies
12:15 Frederik Meskens - Phase transitions for (Buchholz) hydras

Program and abstracts

Program (PDF)