Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Computable reduction by staged enumeration

A staged-enumeration reduction controls an output language by enumerating more elements at each simulation stage and changing behavior when a source computation halts.

Ancestors (6)

  1. Many-one reduction
  2. Computability theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home