Code
01D28620
Duration
01 January 2021 → 31 December 2024
Funding
Regional and community funding: Special Research Fund
Promotor
Fellow
Research disciplines
-
Natural sciences
- Combinatorics
- Mathematical logic and foundations
Keywords
Combinatorics
Proof Theory
Computability
Reverse Mathematics
Ramsey Theory
Hindman's theorem
Project description