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

Эта публикация цитируется в 4 статьях

Краткие сообщения

Арифметическая реализуемость и примитивно-рекурсивная реализуемость

А. Ю. Коновалов

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

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

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

УДК: 510.25; 510.64

Поступила в редакцию: 23.10.2015