При рассмотрении вопроса разрешимости алгебраических диофантовых уравнений можно воспользоваться тем, что любую систему таких уравнений можно преобразовать в одно диофантово уравнение степени не выше 4 в целых неотрицательных числах, разрешимое в том и только том случае, когда разрешима исходная система (при этом множество переменных и множество решений этого нового уравнения может оказаться совершенно другим). Также, при рассмотрении вопроса разрешимости переменные часто разделяют на параметры (значения которых предполагаются фиксированными) и неизвестные. Таким образом, каждое диофантово уравнение определяет множество наборов параметров, при которых оно разрешимо относительно неизвестных, называемое диофантовым множеством. Рассматриваемое диофантово уравнение называется диофантовым представлением этого множества. Важный результат, полученный Юрием Матиясевичем, состоит в том, что каждое перечислимое множество имеет диофантово представление.
