Золотов, А.С. (2014) О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (3). С. 117-125. ISSN 1995-0136
![[thumbnail of elibrary_22791043_59921548 117-125.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "elibrary_22791043_59921548 117-125.pdf") |
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 On: | 13 Сен 2018 14:24 |
| Последнее изменение: | 13 Сен 2018 14:24 |
Repository Staff Only: item control page