Yiqun Liu, Yong Liu, Cheng Peng. Isolated d.c.e. degrees and Σ1 induction. Annals of Pure and Applied Logic, 177(1):103678, 2026. [doi]
@article{LiuLP26,
title = {Isolated d.c.e. degrees and Σ1 induction},
author = {Yiqun Liu and Yong Liu and Cheng Peng},
year = {2026},
doi = {10.1016/j.apal.2025.103678},
url = {https://doi.org/10.1016/j.apal.2025.103678},
researchr = {https://researchr.org/publication/LiuLP26},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {177},
number = {1},
pages = {103678},
}