Изменения
→Предикат Робинсон. Совместный результат М. Дэвиса и Х. Патнема и Д. Робинсон.
*для любых <tex>a</tex> и <tex>b</tex> из <tex>J(a,b)</tex> следует, что <tex>a < b^b</tex>;
*для любого <tex>k</tex> существуют <tex>a</tex> и <tex>b</tex>, удовлетворяющие <tex>J(a,b)</tex> и такие, что <tex>a > b^k</tex>.
Джулия Робинсон назвала отношения, обладающие этими двумя свойствами, отношениями экспоненциального роста; сейчас такие отношения носят также имя ''предикатов Джулии Робинсон''.
