VLDB 2026 Research / reviewers in the wild / expert
David R. Bélanger
dblp:00/7229
· DBLP profile ↗
5ranked-venue papers
5as first author
2since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 5 · 5 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Learnability and positive equivalence relations
David R. Bélanger, Ziyuan Gao, Sanjay Jain 0001, Wei Li 0050, Frank Stephan 0001 |
Inf. Comput. | 1 |
| 2021 | Learnability and Positive Equivalence Relations
David R. Bélanger, Ziyuan Gao, Sanjay Jain 0001, Wei Li 0050, Frank Stephan 0001 |
LATA | 1 |
| 2015 | WKL0 and induction principles in model theory
David R. Bélanger |
Ann. Pure Appl. Log. | 1 |
| 2014 | Reverse Mathematics of First-order Theories with Finitely Many ModelsabstractAbstract We examine the reverse-mathematical strength of several theorems in classical and effective model theory concerning first-order theories and their number of models. We prove that, among these, most are equivalent to one of the familiar systems RCA0, WKL0, or ACA0. We are led to a purely model-theoretic statement that implies WKL0 but refutes ACA0 over RCA0. David R. Bélanger |
J. Symb. Log. | 1 |
| 2009 | Structures of Some Strong Reducibilities
David R. Bélanger |
CiE | 1 |