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

О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ

Золотов, А.С. (2014) О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 117-125. ISSN 1995-0136

[img] PDF - Опубликованная версия
327kB

Абстракт

Мы продолжаем рассматривать вопрос о разрешимости обогащений разрешимых арифметических теорий оператором транзитивного замыкания. В данной работе рассматривается вопрос о разрешимости арифметики Пресбургера и арифметики Сколема с оператором транзитивного замыкания. Показано, что данные теории являются неразрешимыми, если допускать оператор транзитивного замыкания по одной паре переменных

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

We prove that the transitive closure operator extensions of Presburger arithmetic and Skolem arithmetic are undecidable

Тип объекта:Статья
Сведения об авторах:1. Золотов Александр Сергеевич аспирант кафедры информатики Тверского государственного университета.
Ключевые слова:разрешимость, арифметика, транзитивное замыкание
Ключевые слова (англ.):decidability, arithmetic, transitive closure
Категории:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории > 510.652 Формальная арифметика. Формальная теория чисел
Подразделения:Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:7942
Deposited By: С.Б. Федорова
Deposited On:13 Сен 2018 14:24
Последнее изменение:13 Сен 2018 14:24

Repository Staff Only: item control page