Gabriele Buriola
Dottore di ricerca & Doctor in de wetenschappen Universiteit Gent and Università degli Studi di Trento and Università degli Studi di Verona 2023
Dissertation:
Proof-Theoretical Aspects of Well Quasi-Orders and Phase Transitions in Arithmetical Provability
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Peter Michael Schuster
Advisor 2: Andreas Weiermann
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 319434 for the advisor ID.