On a problem of Ishmukhametov (Q377474): Difference between revisions

For a d.c.e. set \(X\) with a d.c.e. enumeration \(\{X_s\}_{s \in \mathbb{N}}\), the corresponding Lachlan set \(L(X)\) is defined as \[ \{s : \exists x[x \in X_{s^{-}}X_{s-1}~\text{and}~ x \notin X]\}. \] In this paper it is proved that there exists a d.c.e. set \(D\) such that for any d.c.e. set \(B \equiv_{T} D\), there exists a d.c.e. set \(A \equiv_{T} D\) such that \(L(A)\leq_{T} L(B)\) and \(L(B) \nleq_{T} L (A)\). This answers a question posed by \textit{S. Ishmukhametov} [Arch. Math. Logic 38, No. 6, 373--386 (1999; Zbl 0942.03049)].