例えば、CulikとYuは3つのwell-definedなクラス（そしてそれらのどれにも分類されない4番目のクラス）を提案した。
例如，Culik和Yu提出三种定义的类（并且第四个和它们不同），有时被称为Culik-Yu类；能够被分到这种类里的问题被证明是不可判定的。