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

Copy

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
Departments	Mathematics
DOI	10.2178/jsl.7803150
Date Deposited	06 Aug 2013 11:52
URI	https://researchonline.lse.ac.uk/id/eprint/51463

Explore Further

Jockush, Carl G.
Lewis-Pye, Andrew

QA Mathematics

Full text not available from this repository.

Atom

BibTeX

OpenURL ContextObject in Span

OpenURL ContextObject

Dublin Core

MPEG-21 DIDL

Data Cite XML

EndNote

HTML Citation

METS

MODS

RIOXX2 XML

Reference Manager

Refer

ASCII Citation

Export

Downloads