帰納的可算集合的日文

• 递归可枚举集合

• 帰納的可算言語:    递归可枚举语言
• 可算集合:    可数集
• 帰納的集合:    递归集合
• 帰納的関数:    递归函数
• 小さな帰納的次元:    ちいさなきのうてきじげん[词组]〈数〉小归纳维数。

例句与用法

1. 帰納的可算集合である。
2. 妥当な公理系から導かれる全ての文の集合は、帰納的可算集合である。
3. 部分再帰関数における帰納的可算集合の逆像は帰納的可算集合である。
4. 部分再帰関数における帰納的可算集合の逆像は帰納的可算集合である。
5. 帰納的可算集合は一般に決定不能だが、再帰理論が最もよく研究してきた領域である。
6. 全ての帰納的集合は帰納的可算であるが、全ての帰納的可算集合が帰納的（集合）とは言えない。
7. 一方、任意の帰納的可算集合（REも参照）を原始再帰関数を次のように使って枚挙可能である。
8. 集合 A は、A も A の補集合も帰納的可算集合である場合のみ帰納的（計算可能）である。
9. つまり、チューリング次数がこの2つの間になるような帰納的可算集合が存在するかどうか、である。
10. RE の各要素は帰納的可算集合（recursively enumerable set）である。