Project

Proof-theoretical Aspects of Well Quasi-orders and Phase Transitions in Arithmetical Provability