Towards finite-fold Diophantine representations

Замечательная теорема, доказанная Мартином Дейвисом, Хилари Патнамом и Джулией Робинсон в 1961 году, утверждает, что у каждого эффективно перечислимого множества натуральных чисел существует экспоненциально диофантово представление. Эта теорема была усилена автором в двух направлениях:
до существования диофантова представления,
до существования так называемого однократного экспоненциально диофантова представления.
Однако до сих пор неизвестно, могут ли этих два усиления быть объединены, то есть верно ли, что каждое эффективно перечислимое множество имеет однократное (или по крайней мере конечнократное) диофантово представление.
В статье обсуждаются известные результаты об однократных экспоненциально диофантовых представлениях, их применения, возможные подходы к усилению для случая диофантовых представлений, а также, какие следствия можно получить из невозможности такого усиления. Библ. – 27 назв.