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