It is proved that there exists a language LL such that its ωω-power has infinite rank in the difference hierarchy of open sets. The same holds for the decreasing difference hierarchy of Π20Π20 sets.
生成讲解博客的中文版本
生成AI智能校验的中文版本