Арифметические представления степеней
Бесконечные множества простых чисел, допускающие диофантовы представления с восемью переменными
Диoфантово представление совершенных чисел
Некоторые вопросы полноты арифметики
Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
О разрешимости некоторых теорий целых чисел.
Относительно стандартные элементы в теории внутренних множеств Е.Нельсона.
Простые числа перечисляются полиномом от 10 переменных
Универсальные расширенные теории целых чисел
Универсальные теории целых чисел и расширенная гипотеза близнецов
Что можно сделать в ПРА