David Belanger

Courses.

Papers.

• D.R. Belanger, "WKL₀ and induction principles in model theory". In preparation.
• D.R. Belanger, "Reverse mathematics of first-order theories with finitely many models". Accepted. (pdf.)
• D.R. Belanger, "Weak truth table degrees of models". Accepted. (pdf.)

Slides.

• New England recursion and definability seminar fall 2013
• ASL North American annual meeting 2013
• ASL North American annual meeting 2012