Structures of Some Strong Reducibilities. - David R. Bélanger (CiE, 2009)

Reverse Mathematics of First-order Theories with Finitely Many Models. - David R. Bélanger (J. Symb. Log., 2014)

WKL0 and induction principles in model theory. - David R. Bélanger (Ann. Pure Appl. Log., 2015)

Weak Truth Table Degrees of Structures. - David R. Bélanger (Notre Dame J. Formal Log., 2015)

On the Jumps of the Degrees Below a Recursively Enumerable Degree. - David R. Bélanger; Richard A. Shore (Notre Dame J. Formal Log., 2018)

Learnability and positive equivalence relations. - David R. Bélanger; Ziyuan Gao; Sanjay Jain 001; Wei Li 050; Frank Stephan 001 (Inf. Comput., 2023)