Модифицированная реализуемость и логика предикатов

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