Abstract
AbstractLet [NB]1 denote the ideal generated by nonbounding c.e. degrees and NCup the ideal of noncuppable c.e. degrees. We show that both [NB]1 ∩ NCup and the ideal generated by nonbounding and noncuppable degrees are new, in the sense that they are different from M, [NB]1 and NCup—the only three known definable ideals so far.
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Recursively Enumerable Sets and Degrees
2. Natural definability in degree structures
3. Interpretability and Definability in the Recursively Enumerable Degrees
4. Nies André , private communication.
5. Li Angsheng , Slaman Theodore A. , and Yang Yue , A nonlow2 c.e. degree which bounds no diamond bases, to appear.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献