VLDB 2026 Research / reviewers in the wild / expert
Yong Liu 0047
dblp:29/4867-47
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2026
0000-0001-5528-0642ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Isolated d.c.e. degrees and Σ1 inductionabstractA Turing degree is d.c.e. if it contains a set that is the difference of two c.e. sets. A d.c.e. degree d is isolated by a c.e. degree a < d if all c.e. degrees that are below d are also below a ; d is isolated from above by a c.e. degree a > d if all c.e. degrees that are above d are also above a . In this paper, we study the inductive strength of both isolated and upper isolated d.c.e. degrees from the point of view of reverse recursion theory. We show that (1) P − + B Σ 1 + Exp ⊢ I Σ 1 ↔ There is an isolated proper d.c.e. degree below 0 ′ ; (2) P − + B Σ 1 + Exp ⊢ I Σ 1 ↔ There is an upper isolated proper d.c.e. degree below 0 ′ . Yong Liu 0047 |
Ann. Pure Appl. Log. | 2 |
| 2019 | Isolated maximal d.r.e. degrees
Yong Liu 0047 |
Ann. Pure Appl. Log. | 1 |