Об общем методе доказательства разрешимости элементарных теорий

Шушунов, А.С.; Ососков, А.В.

В данной работе предлагается обобщение метода Блюменсата и Гределя для исследования разрешимости теорий алгебраических систем. Для иллюстрации данного метода предлагаются новые классы формальных языков S и SA. Выделяется класс МП-автоматов - SМП-автоматы, и доказывается, что они в точности распознают языки из класса S. Доказывается замкнутость класса SA относительно пересечения, дополнения, проекций, цилиндрификаций и изоморфизмов, а также доказываются теоремы об алгоритмической разрешимости проблем вхождения и пустоты для языков класса SA. На основе полученных результатов показана разрешимость некоторых арифметических теорий.

Об общем методе доказательства разрешимости элементарных теорий

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация