This site uses cookies only for the purpose of identifying user sessions.
This is required to properly register actions.
$\overline{K}\;\leq\;\{ p \mid |\mathtt{Dom}(\varphi_p)|=\infty\;\wedge\;|\mathtt{Im}(\varphi_p)|=\infty\;\wedge\;\mathtt{Dom}(\varphi_p)\cap\mathtt{Im}(\varphi_p)=\emptyset \}$
Reduce $\overline{K}$ to the set of natural numbers codifying programs such
that the domain and the image of the function computed by the program have
infinite cardinal and are disjoint (roughly, the set of programs implementing
functions whose domain and image are infinite and disjoint) in order to prove
that such set is not semi-decidable (not recursively enumerable).
Authors: Carles Creus, Guillem Godoy
/
Documentation: