either halting problem complement many one reducible ''e'' mapped using many one reduction ''e'' see rice 's theorem detail many index sets even complicated halting problem type sets classified using arithmetical hierarchy example index set fin class finite sets level sub sub index set rec class recursive sets level sub sub index set cofin cofinite sets also
Formal science Computer science Theory of computation Computability theory