非可分類理論と可分類理論の間のボレル還元関係

可分類理論の同型関係は非可分類理論の同型関係よりもボレル還元可能である。