Cookies?
Library Header Image
LSE Research Online LSE Library Services

Diagonally non-computable functions and bi-immunity

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
Sets: Departments > Mathematics
Date Deposited: 06 Aug 2013 11:52
Last Modified: 20 Sep 2019 01:48
URI: http://eprints.lse.ac.uk/id/eprint/51463

Actions (login required)

View Item View Item