Материалов:
678 583

Репозиториев:
29

Авторов:
475 470

Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x))

Дата публикации: 2008

Дата публикации в реестре: 2020-03-18T12:44:17Z

Аннотация:

В статье рассматривается обобщение результата, полученного в нашей предыдущей работе. Мы показываем, что теория T_f=\Th(\omega, 0, 1,<,$ $+, f(x), F(x)) является разрешимой, демонстрируя, что каждая формула эквивалентна экзистенциальной, если f - эффективно согласованная со сложением функция, а F - эффективно периодическая гиперфункция от f.

Тип: Статья


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