Золотов, А.С. (2015) ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ. Вестник ТвГУ. Серия: Прикладная математика (4). С. 27-37. ISSN 1995-0136
![[thumbnail of elibrary_25038418_65319955 27-37.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "elibrary_25038418_65319955 27-37.pdf") |
PDF
- Опубликованная версия
365kB |
Абстракт
Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования
Абстракт (англ.)
We investigate effective elimination of the fixed point operator in a theory of integers with a single successor function. We show that effective elimination is possible for some formulas containing equalities
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | 1. Золотов Александр Сергеевич аспирант кафедры информатики Тверского государственного университета. |
| Ключевые слова: | разрешимость, оператор фиксированной точки |
| Ключевые слова (англ.): | decidability, fixed point operator |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории > 510.652 Формальная арифметика. Формальная теория чисел |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 7910 |
| Deposited On: | 11 Сен 2018 07:33 |
| Последнее изменение: | 11 Сен 2018 07:33 |
Repository Staff Only: item control page