BOUNDING NON-GL(2) AND REA

作者:Ambos Spies Klaus*; Ding Decheng; Wang Wei; Yu Liang
来源:Journal of Symbolic Logic, 2009, 74(3): 989-1000.
DOI:10.2178/jsl/1245158095

摘要

We prove that every Turing degree a bounding some non-GL(2) degree is recursively enumerable in and above (r.e.a.) some 1-generic degree.