Yong Liu

activity

20222026

collaborators

Showing 2025Show all

2 papers · 1 filter

math.LO2025

Bi-Isolated d.c.e. Degrees and $Σ_{1}$ Induction

Yong Liu, Cheng Peng

A 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 if there exists a c.e. degree $\mathbf{a}<\mathbf{d…

math.LO2025

Isolated d.c.e. degrees and $Σ_{1}$ induction

Yiqun Liu, Yong Liu, Cheng Peng

A 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…

Bi-Isolated d.c.e. Degrees and Σ1​ Induction

Isolated d.c.e. degrees and Σ1​ induction

Bi-Isolated d.c.e. Degrees and $Σ_{1}$ Induction

Isolated d.c.e. degrees and $Σ_{1}$ induction