Isolated maximal d.r.e. degrees. - Yong Liu 047 (Ann. Pure Appl. Log., 2019)

Isolated d.c.e. degrees and Σ1 induction. - Yiqun Liu; Yong Liu 047; Cheng Peng (Ann. Pure Appl. Log., 2026)