LogoРепозиторий Тверского госуниверситета

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

Снятков, А.С. (2008) Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)). Вестник ТвГУ. Серия: Прикладная математика (2[9]). С. 39-51. ISSN 1995-0136

[img]
Предварительный просмотр
PDF - Опубликованная версия
281kB

Абстракт

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

Абстракт (англ.)

In the paper we generalize the result which was established in our previous article. We demonstrate the theory $T_f=\Th(\omega, 0, 1, <, +, f(x), F(x))$ is decidable and every formula is equivalent to an existential one, if $f$ is an effectively addition-connected function, and $F$ is the effectively periodic hyperfunction for $f$.

Тип объекта:Статья
Сведения об авторах:Алексей Сергеевич Снятков, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики.
Ключевые слова:арифметика Семёнова, гиперфункция, эффективно периодическая гиперфункция, согласованная со сложением функция
Ключевые слова (англ.):Semenov's arithmetic, Hyperfunction, effectively periodic hyperfunction, addition-connected function
Категории:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения
Подразделения:Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:494
Deposited By: И.С. Солдатенко
Deposited On:08 Янв 2017 08:08
Последнее изменение:08 Янв 2017 08:08

Repository Staff Only: item control page