Source: wikibot/enumeration-reducibility

= Enumeration reducibility
{wiki=Enumeration_reducibility}

Enumeration reducibility is a concept from mathematical logic and computability theory, particularly in the study of recursive and recursively enumerable sets. It is a refinement of the idea of Turing reducibility.