recursion - 函数是递归的还是带索引的？

Question

S = {i | A ⊆ range( φi) }其中A是一组所有奇数（或偶数）自然数，并且是具有返回索引的函数。φiiA

我如何证明该集合S在每个索引中都是递归的（或 re，递归可枚举的）？

标签： recursionsetenumerable