Jockush, Carl G. and Lewis-Pye, Andrew (2014) Diagonally non-computable functions and bi-immunity. Journal of Symbolic Logic, 78 (3). pp. 977-988. ISSN 0022-4812
Full text not available from this repository.
Identification Number: 10.2178/jsl.7803150
Abstract
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 |
|---|---|
| Official URL: | http://www.aslonline.org/journals-journal.html |
| Additional Information: | © 2013 Association for Symbolic Logic |
| Divisions: | Mathematics |
| Subjects: | Q Science > QA Mathematics |
| Date Deposited: | 06 Aug 2013 11:52 |
| Last Modified: | 11 Sep 2025 08:44 |
| URI: | http://eprints.lse.ac.uk/id/eprint/51463 |
Actions (login required)
 |
View Item |
