We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES.
- Authors
DOWNEY, ROD; STEPHENSON, JONATHAN
- Abstract
The article discusses avoiding effective packing dimension 1 below arraynoncomputable computably enumerable (c.e.) degrees. It discusses research work showing that there is a Turing degree with nonzero effective packing dimension, but which does not contain any set of effective packing dimension 1. It shows the existence of such a degree below every c.e. array noncomputable degree, and hence that they occur below precisely those of the c.e. degrees which are array noncomputable.
- Subjects
COMPUTABLE functions; PROGRAMMABLE array logic; UNSOLVABILITY (Mathematical logic); DIMENSION theory (Topology); COMPUTABILITY logic
- Publication
Journal of Symbolic Logic, 2018, Vol 83, Issue 2, p717
- ISSN
0022-4812
- Publication type
Article
- DOI
10.1017/jsl.2017.78