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

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]

Authors

Yiqun Liu

This author has not been identified. Look up 'Yiqun Liu' in Google

Yong Liu

This author has not been identified. Look up 'Yong Liu' in Google

Cheng Peng

This author has not been identified. Look up 'Cheng Peng' in Google