Abstract:
Исследован обобщенный метод интерпретаций и его применимость к доказательству разрешимости теорий. С помощью этого метода доказана разрешимость теории решетки непрерывных функций из R в R. Доказана неразрешимость теории структуры непрерывных функций с добавлением унарного предиката, позволяющего выделить константы. Данная работа свидетельствует о том, что новый метод можно рассматривать в качестве инструмента для установления разрешимости элементарных теорий.
