Glimm–Effros dichotomyというのがあって箱入り無数目の問題に適用できそうなんだけど