A non-splitting theorem in the enumeration degrees (Q1032639): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 02:58, 5 March 2024

scientific article
Language Label Description Also known as
English
A non-splitting theorem in the enumeration degrees
scientific article

    Statements

    A non-splitting theorem in the enumeration degrees (English)
    0 references
    26 October 2009
    0 references
    In an upper semilattice \(\langle D, <, \cup ,\rangle\) we say that a pair of elements \textbf{u} and \textbf{v} form a splitting of the element \textbf{a} if \({\mathbf u < \mathbf a}\) and \({\mathbf v < \mathbf a}\) but \({\mathbf u \cup \mathbf v = \mathbf a.}\) A set \(\mathbb{A}\) is enumeration reducible to a set \(\mathbb{B}\) if there is a c.e. set \(\Phi\) such that: \[ {\mathbf n \in \mathbb{A} \Leftrightarrow \exists \mathbf u(\langle \mathbf n,\mathbf u \rangle \in \Phi \, \& \, D_{\mathbf u} \subseteq \mathbb B)}, \] where \(D_{\mathbf u}\) denotes the finite set with canonical index \textbf{u}. The following statement is proved in the paper under review by adapting the non-splitting techniques from the c.e. Turing degrees to the enumeration degrees. Theorem. There is a \(\Sigma_2^0\)-enumeration degree \(\mathbf a< \mathbf 0'_e\) such that \(\mathbf 0'_e\) cannot be split in the enumeration degrees above the degree \textbf{a}. This result is an analog of Harrington's well-known non-splitting theorem for the \(\Sigma_2^0\)- enumeration degrees
    0 references
    enumeration reducibility
    0 references
    \(\Sigma_2^0\) e-degrees
    0 references
    e-degrees
    0 references
    non-splitting
    0 references

    Identifiers