Классическая истинность всех абсолютно арифметически реализуемых предикатных формул

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

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

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

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