Matiyasevich's theorem

Etymology
Named after Russian mathematician.

Proper noun

 * 1)  A theorem stating that every computably enumerable set is a Diophantine set, and the converse.