Recognizability and enumerability

[91/74%]

Subtopics

Enumeration and existential characterization of r.e. sets[33/79%]
Closure properties of r.e. and recursive sets[12/67%]
Productive, creative, and immune sets[10/80%]
Effective operations on indices of r.e. sets[9/67%]
Proving a set is not recursively enumerable[9/67%]
Dovetailing[6/33%]
Halting problem[5/100%]
Post's theorem on recursive sets[5/100%]
Graph theorem for partial recursive functions[4/100%]
Rice-Shapiro theorem[2/0%]
Recognizability via mapping reduction to a universal set[1/100%]