ОТСУТСТВИЕ ИНТЕРПОЛЯЦИОННОГО СВОЙСТВА ДЛЯ ВРЕМЕННЫХ ИСЧИСЛЕНИЙ, СВЯЗАННЫХ С ПРОСТРАНСТВАМИ ЕРШОВА

摘要

Интерполяционное свойство было введено В. Крейгом [1], оно является одним из фундаментальных свойств логических теорий. Напомним, что исчисление Ь обладает интерполяционным свойством, если выполняется следующее условие.