Изменения
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
Чтобы перенести результат Дэвиса, Патнема и Робинсон на обычные диофантовы уравнения, нужно было доказать, что множество, состоящее из троек <tex>\left \langle a, b, c= a^b\right \rangle</tex>, является диофантовым. Тогда стало бы возможным ценой введения дополнительных неизвестных перевести экпоненциально-диофантово представление в диофантово представление:
<tex>a, b, c= a^b\Leftrightarrow \exists x_1,x_2,...,x_n \left \{ P(a, b,c, x_1, x_2, ..., x_n)=0\right \} </tex>
Джулия Робинсон показала, что для этого достаточно построить конкретное уравнение
<tex>P(a, b, x_1, x_2, ..., x_n)=0 </tex>,
*недопускающее решение с <tex>a>b^b</tex>;
*для каждого <tex>k</tex> имеющее решение с <tex>a>b^k</tex>.
