Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Gabriele Buriola

Profiel

Projecten

Publicaties

Activiteiten

Prijzen & Erkenningen

1 Resultaat

2024

Proof-theoretical aspects of well quasi-orders and phase transitions in arithmetical provability

Gabriele BuriolaPeter SchusterAndreas Weiermann

Proefschrift

2024