Every set has a least jump enumeration

Citation
Rj. Coles et al., Every set has a least jump enumeration, J LOND MATH, 62, 2000, pp. 641-649
Citations number
8
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
ISSN journal
00246107 → ACNP
Volume
62
Year of publication
2000
Part
3
Pages
641 - 649
Database
ISI
SICI code
0024-6107(200012)62:<641:ESHALJ>2.0.ZU;2-J
Abstract
Given a computably enumerable set W, there is a Turing degree which is the least jump of any set in which W is computably enumerable, namely 0'. Remar kably, this is not a phenomenon of computably enumerable sets. It is shown that for every subset A of N, there is a Turing degree, c'(mu)(A), which is the least degree of the jumps of all sets X for which A is Sigma (0)(1)(X) . In addition this result provides an isomorphism invariant method for assi gning Turing degrees to certain torsion-free abelian groups.