Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

David Bélanger

Awards & Distinctions

5 Results

2018

On the jumps of degrees below an recursively enumerable degree

David BélangerRichard A. Shore

A1 Journal Article in NOTRE DAME JOURNAL OF FORMAL LOGIC

2015

Sets, models, and proofs : topics in the theory of recursive functions

David Bélanger

WKL0 and induction principles in model theory

David Bélanger

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Weak truth table degrees of structures

David Bélanger

A1 Journal Article in NOTRE DAME JOURNAL OF FORMAL LOGIC

2014

Reverse mathematics of first-order theories with finitely many models

David Bélanger

A1 Journal Article in JOURNAL OF SYMBOLIC LOGIC