УДК 510.25; 510.64
Арифметическая реализуемость и примитивно-рекурсивная реализуемость / А. Ю. Коновалов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2016. № 4. С. 60-64.
Доказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.
Ключевые слова: конструктивная семантика, абсолютная реализуемость, формальная арифметика, арифметическая реализуемость, примитивно-рекурсивная реализуемость.
Библиогр. 9.