David R. Bélanger

发表

Weak Truth Table Degrees of Structures

David R. Bélanger, 2015, Notre Dame J. Formal Log..

Structures of Some Strong Reducibilities

David R. Bélanger, 2009, CiE.

REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS

David R. Bélanger, 2014, The Journal of Symbolic Logic.

WKL0 and induction principles in model theory

David R. Bélanger, 2015, Ann. Pure Appl. Log..

On the Jumps of the Degrees Below a Recursively Enumerable Degree

Richard A. Shore, David R. Bélanger, 2018, Notre Dame J. Formal Log..

Conservation theorems for the Cohesiveness Principle

David R. Bélanger, 2022, 2212.13011.

Use-Bounded Strong Reducibilities

David R. Bélanger, 2009 .