价于空集的集合）的不可解度为formula_13（零度）。所有不可解度的搜集记作formula_14。
图灵跳跃.图灵跳跃算符是不可解度上的算符。设formula_9为一集合，则其不可解度的图灵跳跃formula_16为所有停机的具备集合formula_9的预言机的集合的不可解度。零度的图灵跳跃是停机问题的不可解度，也即formula_18。
图灵锥.设formula_19为不可解度，则所有可计算formula_19的不可解度的搜集formula_