Арифметика Сколема

Арифметика Сколема — расширение арифметики Пресбургера, основанное на теории множеств простых множителей.
Арифметика Сколема имеет изоморфизм с точечным сложением последовательностей неотрицательных целых чисел.
Теорема Фефермана-Вота позволяет алгоритмически свести истинностное значение логических формул первого порядка к арифметике Сколема.
Сложность задачи решения слабых прямых степеней теории может быть доказана с использованием игр Эренфойхта-Фрейссе.
Проблема выполнимости для фрагмента арифметики Сколема без кванторов относится к классу сложности NP.
Расширение арифметики Сколема с предикатом-преемником может быть определено, но является неразрешимым.

Полный текст статьи:

Школьная арифметика — Википедия