Diagonally non-computable functions and bi-immunity
Jockush, C. G. & Lewis-Pye, A.
(2014).
Diagonally non-computable functions and bi-immunity.
Journal of Symbolic Logic,
78(3), 977-988.
https://doi.org/10.2178/jsl.7803150
We prove that every diagonally noncomputable function computes a set A which is bi-immune, meaning that neither A nor its complement has an infinite computably enumerable subset.
| Item Type | Article |
|---|---|
| Copyright holders | © 2013 Association for Symbolic Logic |
| Departments | LSE > Academic Departments > Mathematics |
| DOI | 10.2178/jsl.7803150 |
| Date Deposited | 06 Aug 2013 |
| URI | https://researchonline.lse.ac.uk/id/eprint/51463 |
Explore Further
- https://www.scopus.com/pages/publications/84922924052 (Scopus publication)
- http://www.aslonline.org/journals-journal.html (Official URL)