Multiple m-reducibility of index sets (Q1066891)

From MaRDI portal





scientific article; zbMATH DE number 3926898
Language Label Description Also known as
English
Multiple m-reducibility of index sets
scientific article; zbMATH DE number 3926898

    Statements

    Multiple m-reducibility of index sets (English)
    0 references
    0 references
    1984
    0 references
    Let \(S_ i\) and \(S'_ i\) \((i=0,...,n)\) be either both finite families of finite sets or both finite families of infinite r.e. sets and \(\pi^{-1}(S)=\{n: W_ n\in S\}\). Some necessary and sufficient conditions for \(<\pi^{-1}(S_ 0),...,\pi^{-1}(S_ n)>\) to be m- reducible to \(<\pi^ 1(S'_ 0),...,\pi^{-1}(S'_ n)>\) are given.
    0 references
    families of recursively enumerable sets
    0 references
    0 references

    Identifiers