< Terug naar vorige pagina
Onderzoeker
David Bélanger
- Disciplines:Toegepaste wiskunde die niet elders zijn geclassificeerd
Affiliaties
- Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde (Departement)
Lid
Vanaf1 jan 2019 → 24 sep 2023 - Vakgroep Wiskunde: Algebra en Meetkunde (Departement)
Lid
Vanaf15 mrt 2018 → 31 dec 2018
Projecten
1 - 1 of 1
- Een bepaling van de sterkte van Fraisse's vermoeden over ordeningtypenVanaf15 mrt 2018 → 14 mei 2021Financiering: BOF - Nieuwe Onderzoeksinitiatieven
Publicaties
1 - 5 van 5
- On the jumps of degrees below an recursively enumerable degree(2018)
Auteurs: David Bélanger, Richard A. Shore
Pagina's: 91 - 107 - Weak truth table degrees of structures(2015)
Auteurs: David Bélanger
Pagina's: 263 - 285 - WKL0 and induction principles in model theory(2015)
Auteurs: David Bélanger
Pagina's: 767 - 799 - Sets, models, and proofs : topics in the theory of recursive functions(2015)
Auteurs: David Bélanger
- Reverse mathematics of first-order theories with finitely many models(2014)
Auteurs: David Bélanger
Pagina's: 955 - 984