Разрешимость теории Th(w, 0,1,   +,  f       0     ,..., f       n     )

А. С. Снятков

doi:undefined

Разрешимость теории Th(w, 0,1, <, +, f₀,..., f_n)

А. С. Снятков

Полный текст:

Аннотация

Данная работа посвящена исследованию свойств теорий, образованных из арифметики А.Л. Семенова добавлением функций fi,i > 0, которые в работе названы «гиперфункциями», полученных итерацией, согласованной со сложением функции fo. Доказано, что такие теории являются модельно полными. Также показано, что при выполнении условия эффективной периодичности гиперфункций теории являются разрешимыми.

Ключ. слова

арифметика Семенова, гиперфункция, функция Аккермана,

УДК: 510.65

Об авторе

А. С. Снятков

Тверской государственный университет
Россия

Список литературы

1. Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994.

2. Верещагин Н.К., Шень А. Языки и исчисления. М.: МЦНМО, 2002.

3. Семёнов А.Л. О некоторых расширениях арифметики сложения натуральных чисел // Изв. АН СССР. 1979. 43(5). С.1175-1195.

4. Семёнов А.Л. Логические теории одноместных функций на натуральном ряде // Изв. АН СССР. 1983. 47(3). С.623-658.

5. Снятков А.С. Разрешимость теории Tc = Th(u, 0,1,<, +,cx, Cx) // Вестник ТвГУ сер. Прикл. матем. 2007. 5(35). С. 113-121.

6. Снятков А.С. Разрешимость теории Tf = Th(u, 0,1,<, +,f (x),F(x)) // Вест¬ник ТвГУ сер. Прикл. матем. 2008. 14(34). С. 39-51.

7. Ackermann W. Zum Hilbertschen Aufbau der reellen Zahlen // Mathematische Annalen. 1928. 99. P. 118-133.

Дополнительные файлы

Для цитирования: Снятков А.С. Разрешимость теории Th(w, 0,1, <, +, f₀,..., f_n). Моделирование и анализ информационных систем. 2010;17(3):72-90.

For citation: Snyatkov A.S. On Decidability of the Theory Th(u, 0,1,<, +, f₀,..., f_n). Modeling and Analysis of Information Systems. 2010;17(3):72-90. (In Russ.)

Обратные ссылки

Обратные ссылки не определены.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

Логин
Пароль

Моделирование и анализ информационных систем

Разрешимость теории Th(w, 0,1, <, +, f0,..., fn)