Code
01D25921
Looptijd
11-04-2022 → 10-04-2026
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Mandaathouder
Onderzoeksdisciplines
-
Natural sciences
- Mathematical logic and foundations
Trefwoorden
ordinaalanalyse
bewijsbaarheidslogica
ordinaal notatiesystemen
onafhankelijkheid resultaten
Projectomschrijving