Article contents
On the definable ideal generated by nonbounding c.e. degrees
Published online by Cambridge University Press: 12 March 2014
Abstract
Let [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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2005
References
REFERENCES
- 5
- Cited by