Recursively enumerable


THEOREM    "Every computably enumerable set is Diophantine." https://en.wikipedia.org/wiki/Diophantine_set#Matiyasevich's_theorem Theorem: Every computably enumerable set is Diophantine.

Proof unavailable