Moser, Philippe and Stephan, Frank (2018) Limit-depth and DNR degrees. Information Processing Letters, 135. pp. 36-40. ISSN 0020-0190
Preview
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (245kB) | Preview
Abstract
We introduce the notion of limit-depth, as a notion similar to Bennett depth, but well
behaved on Turing degrees, as opposed to truth-table degrees for Bennett depth. We
show limit-depth satisfies similar properties to Bennett depth, namely both recursive and
sufficiently random sequences are not limit-deep, and limit-depth is preserved over Turing
degrees. We show both the halting problem and Chaitin’s omega are limit-deep. We show
every limit-deep set has DNR wtt-degree, and some limit-cuppable set does not have a
limit-deep wtt degree.
| Item Type: | Article |
|---|---|
| Keywords: | Theory of computation; Logical depth; Kolmogorov complexity; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science |
| Item ID: | 13190 |
| Identification Number: | 10.1016/j.ipl.2018.02.015 |
| Depositing User: | Philippe Moser |
| Date Deposited: | 28 Aug 2020 11:27 |
| Journal or Publication Title: | Information Processing Letters |
| Publisher: | Elsevier |
| Refereed: | Yes |
| Related URLs: | |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Downloads
Downloads per month over past year
Share and Export
Share and Export