Project

Logische limietwetten voor ordinalen

Acroniem
1520017N
Code
31520017W
Looptijd
01-01-2017 → 31-12-2019
Financiering
Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)
Onderzoeksdisciplines
  • Natural sciences
    • Other biological sciences
    • Other natural sciences
Trefwoorden
ordinalen
 
Projectomschrijving

  We bestuderen de kans dat bepaalde beweringen over lineaire ordeningen waar zijn met betrekking tot een willekeurig gekozen ordinale. We zijn van plan om de zogenaamde nul één wetten voor natuurlijke klassen van ordinals bewijzen. Dit betekent dat een bewering houdt bijna shure of bijna nooit. Het onderzoek is gebaseerd op een combinatie van technieken uit de logica en de reële analyse en beschikt dus over een interdisciplinair karakter.