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...
| Published in: | Journal of Symbolic Logic Vol. 78; no. 4; pp. 1218 - 1229 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Published: |
Cambridge University Press
Dec2013
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |