Translator Disclaimer
March 2005 On the definable ideal generated by nonbounding c.e. degrees
Yue Yang, Liang Yu
J. Symbolic Logic 70(1): 252-270 (March 2005). DOI: 10.2178/jsl/1107298519

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.

Citation

Download Citation

Yue Yang. Liang Yu. "On the definable ideal generated by nonbounding c.e. degrees." J. Symbolic Logic 70 (1) 252 - 270, March 2005. https://doi.org/10.2178/jsl/1107298519

Information

Published: March 2005
First available in Project Euclid: 1 February 2005

zbMATH: 1093.03027
MathSciNet: MR2119132
Digital Object Identifier: 10.2178/jsl/1107298519

Subjects:
Primary: 03D25

Rights: Copyright © 2005 Association for Symbolic Logic

JOURNAL ARTICLE
19 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.70 • No. 1 • March 2005
Back to Top