David R. Belanger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learnability and positive equivalence relations Information and Computation	2024-02-02	Paper
Conservation theorems for the Cohesiveness Principle	2022-12-25	Paper
Constrained Discrete Black-Box Optimization using Mixed-Integer Programming	2021-10-18	Paper
Learnability and positive equivalence relations (available as arXiv preprint)	2021-10-04	Paper
Where Pigeonhole Principles meet K\"onig Lemmas (available as arXiv preprint)	2019-12-07	Paper
On the jumps of the degrees below a recursively enumerable degree Notre Dame Journal of Formal Logic	2018-03-08	Paper
On the jumps of the degrees below a recursively enumerable degree Notre Dame Journal of Formal Logic	2018-03-08	Paper
Weak truth table degrees of structures Notre Dame Journal of Formal Logic	2015-07-20	Paper
Weak truth table degrees of structures Notre Dame Journal of Formal Logic	2015-07-20	Paper
\(\mathsf{WKL}_0\) and induction principles in model theory Annals of Pure and Applied Logic	2015-05-15	Paper
Reverse mathematics of first-order theories with finitely many models Journal of Symbolic Logic	2014-12-05	Paper
Structures of some strong reducibilities Mathematical Theory and Computational Practice	2010-07-28	Paper

Research outcomes over time

This page was built for person: David R. Belanger