Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 78, Issue 4 (2013), 1218-1228.
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  asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying techniques from coding theory. We show how to use Walsh—Hadamard codes to build a truth-table functional which maps any sequence $A$ to a sequence $B$, such that given any restriction of $B$ to a set of positive upper density, one can recover $A$. This implies that if $A$ is non-computable, then $B$ is absolutely undecidable. Using a forcing construction, we show that this result cannot be strengthened in any significant fashion.
J. Symbolic Logic, Volume 78, Issue 4 (2013), 1218-1228.
First available in Project Euclid: 5 January 2014
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Bienvenu, Laurent; Day, Adam R.; Hölzl, Rupert. From bi-immunity to absolute undecidability. J. Symbolic Logic 78 (2013), no. 4, 1218--1228. doi:10.2178/jsl.7804120. https://projecteuclid.org/euclid.jsl/1388954003