この言葉はイコールですか？

質問

「ディオファントス集合」
と
「帰納的可算集合」
は
イコールですか？

回答お願いします！

回答No.1

rinkun · ベストアンサー

Wikipediaによると同値らしいです。
> マチャセビッチの定理によれば、全ての帰納的可算集合はディオファントス集合である（逆も明らかに真）。
# http://ja.wikipedia.org/wiki/%E5%B8%B0%E7%B4%8D%E7%9A%84%E5%8F%AF%E7%AE%97%E9%9B%86%E5%90%88