УДК 510.25; 510.64

Арифметическая реализуемость и примитивно-рекурсивная реализуемость / А. Ю. Коновалов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2016. № 4. С. 60-64.

Доказывается, что семантика логики предикатов, основанная на абсолютной арифметической реализуемости, отлична от семантики, основанной на примитивно-рекурсивной реализуемости по Салехи.

Ключевые слова: конструктивная семантика, абсолютная реализуемость, формальная арифметика, арифметическая реализуемость, примитивно-рекурсивная реализуемость.

Библиогр. 9.

К оглавлению номера  Go!