Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
David Bélanger
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
5
Resultaten
2018
On the jumps of degrees below an recursively enumerable degree
David Bélanger
Richard A. Shore
A1
Artikel in een tijdschrift
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2018
2015
Sets, models, and proofs : topics in the theory of recursive functions
David Bélanger
Proefschrift
2015
WKL0 and induction principles in model theory
David Bélanger
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2015
Weak truth table degrees of structures
David Bélanger
A1
Artikel in een tijdschrift
in
NOTRE DAME JOURNAL OF FORMAL LOGIC
2015
2014
Reverse mathematics of first-order theories with finitely many models
David Bélanger
A1
Artikel in een tijdschrift
in
JOURNAL OF SYMBOLIC LOGIC
2014