LogoTver State University Repository

Разрешимость теории T_c=\Th(\omega, 0, 1, <, +, c^x, \C^x)

Снятков, А.С. (2007) Разрешимость теории T_c=\Th(\omega, 0, 1, <, +, c^x, \C^x). Вестник ТвГУ. Серия: Прикладная математика (1[4]). pp. 113-121. ISSN 1995-0136

[img]
Preview
PDF - Published Version
311kB

Abstract

В работе рассматривается расширение арифметики Семёнова (\omega, 0, 1, <, +, c^x, \C^x). Мы показываем, что теория этой системы является разрешимой, демонстрируя, что каждая формула эквивалентна экзистенциальной.

Abstract (en)

The article deals with the expansion of Semenov`s arithmetic (\omega, 0, 1, <, +, c^x, \C^x). We show, that the theory of this system is solvable, demonstrating, that every formula is equivalent to an existential one.

Item Type:Article
Uncontrolled Keywords:арифметика Семёнова, арифметика Пресбургера, гипреэкспонента, согласованная со сложением функция
Keywords (en):Semenov's arithmetic, Presburger's arithmetic, hyperexponent, addition-connected fucntion
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:30
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:04
Last Modified:08 Jan 2017 08:04

Repository Staff Only: item control page