< Back to previous page
Researcher
David Bélanger
- Disciplines:Applied mathematics in specific fields not elsewhere classified
Affiliations
- Department of Mathematics: Analysis, Logic and Discrete Mathematics (Department)
Member
From1 Jan 2019 → 24 Sep 2023 - Department of Mathematics: Algebra and Geometry (Department)
Member
From15 Mar 2018 → 31 Dec 2018
Projects
1 - 1 of 1
- Gauging the strength of Fraisse's order-type conjectureFrom15 Mar 2018 → 14 May 2021Funding: BOF - Doctoral projects
Publications
1 - 5 of 5
- On the jumps of degrees below an recursively enumerable degree(2018)
Authors: David Bélanger, Richard A. Shore
Pages: 91 - 107 - Weak truth table degrees of structures(2015)
Authors: David Bélanger
Pages: 263 - 285 - WKL0 and induction principles in model theory(2015)
Authors: David Bélanger
Pages: 767 - 799 - Sets, models, and proofs : topics in the theory of recursive functions(2015)
Authors: David Bélanger
- Reverse mathematics of first-order theories with finitely many models(2014)
Authors: David Bélanger
Pages: 955 - 984