Project

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

Code
DOCT/002831
Duration
16 December 2022 → 11 April 2024 (Defended)
Doctoral researcher
Research disciplines
No data available
 
Project description
No data available