Doctoral School in Mathematics
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability