Index_set_(recursion_theory)
Index set (computability)
Classes of partial recursive functions
In computability theory, index sets describe classes of computable functions; specifically, they give all indices of functions in a certain class, according to a fixed Gödel numbering of partial computable functions.