Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

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

Outputs and Outcomes

Doctoral researcher

Gabriele Buriola

Department of Mathematics: Analysis, Logic and Discrete Mathematics

Administrative supervisor

Andreas Weiermann

Department of Mathematics: Analysis, Logic and Discrete Mathematics

External PhD supervisor

Peter Schuster

null