Project

Towards higher-order well-ordering principles for third order arithmetic

Code
DOCT/008127
Duration
15 December 2022 → 21 September 2025 (Ongoing)
Doctoral researcher
Research disciplines
No data available
 
Project description
No data available