FROM BI-IMMUNITY TO ABSOLUTE UNDECIDABILITY.

An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp [2] asked whether, unlike the case for bi-immunity, there is an absolutely unde...

Full description

Bibliographic Details
Published in:Journal of Symbolic Logic Vol. 78; no. 4; pp. 1218 - 1229
Main Authors: BIENVENU, LAURENT, DAY, ADAM R., HÖLZL, RUPERT
Format: Article
Published: Cambridge University Press Dec2013
Subjects:
Online Access:View this record in EBSCOhost