David R. Belanger

Available identifiers

zbMath Open belanger.david-rMaRDI QIDQ1704084

List of research outcomes

Publication	Date of Publication	Type
Learnability and positive equivalence relations	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	2021-10-04	Paper
Where Pigeonhole Principles meet K\"onig Lemmas	2019-12-07	Paper
On the jumps of the degrees below a recursively enumerable degree	2018-03-08	Paper
Weak truth table degrees of structures	2015-07-20	Paper
\(\mathsf{WKL}_0\) and induction principles in model theory	2015-05-15	Paper
REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS	2014-12-05	Paper
Structures of Some Strong Reducibilities	2010-07-28	Paper

Research outcomes over time

This page was built for person: David R. Belanger