Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees


Authors: Klaus Ambos-Spies, Carl G. Jockusch, Richard A. Shore and Robert I. Soare
Journal: Trans. Amer. Math. Soc. 281 (1984), 109-128
MSC: Primary 03D25; Secondary 03D30
MathSciNet review: 719661
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We specify a definable decomposition of the upper semilattice of recursively enumerable (r.e.) degrees $ \mathbf{R}$ as the disjoint union of an ideal $ \mathbf{M}$ and a strong filter $ \mathbf{NC}$. The ideal $ \mathbf{M}$ consists of $ \mathbf{0}$ together with all degrees which are parts of r.e. minimal pairs, and thus the degrees in $ \mathbf{NC}$ are called noncappable degrees. Furthermore, $ \mathbf{NC}$ coincides with five other apparently unrelated subclasses of $ \mathbf{R: ENC}$, the effectively noncappable degrees; $ \mathbf{PS}$, the degrees of promptly simple sets; $ \mathbf{LC}$, the r.e. degrees cuppable to $ {\mathbf{0}}^{\prime}$ by a low r.e. degree; $ {\mathbf{SP\bar H}}$, the degrees of non-$ hh$-simple r.e. sets with the splitting property; and $ \mathbf{G}$, the degrees in the orbit of an r.e. generic set under automorphisms of the lattice of r.e. sets.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03D25, 03D30

Retrieve articles in all journals with MSC: 03D25, 03D30


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1984-0719661-8
PII: S 0002-9947(1984)0719661-8
Article copyright: © Copyright 1984 American Mathematical Society