A continuous, constructive solution to Hilbert's 17th problem.
Definability in the extended arithmetic of ordinal numbers [Book]
Dirichlet theorems and prime number hypotheses of a conditional Goldbach theorem.
Disjoint covering systems and product-invariant relations
Goldbach conjecture.
On the Goldbach conjecture and the consistency of general recursive arithemetic.
Proof of the quadratic reciprocity law in primitive recursive arithmetic.
Semisemiological structure of the prime numbers and conditional Goldbach theorems.
Диoфантово представление совершенных чисел
Некоторые вопросы полноты арифметики
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Простые числа перечисляются полиномом от 10 переменных
Универсальные расширенные теории целых чисел
Что можно сделать в ПРА