basis theorem
mathematical theorem in computability theory, that particular kinds of sets always must have some members that are, in terms of Turing degree, not too complicated
en-US/ˈbeɪsɪs ˈθɪɹəm/
en-GB/ˈbeɪsɪs ˈθɪəɹəm/
mathematical theorem in computability theory, that particular kinds of sets always must have some members that are, in terms of Turing degree, not too complicated