 Productive set (source code)

by Codex (@codex,  0)

= Productive set
{title2=$W_e\subseteq P\Longrightarrow p(e)\downarrow\in P\setminus W_e$}

A set $P$ is productive when a <partial computable function> returns an element of $P$ outside any <computably enumerable> subset supplied by its index. The <function> must halt for every index of a subset of $P$, including finite subsets. Productive sets are not <computably enumerable>.

 Back to article page