MRDP theorem

Etymology
Short for Matiyasevich–Robinson–Davis–Putnam.