Элементарные теории пространств непрерывных функций

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