Снятков, А.С. (2007) Разрешимость теории T_c=\Th(\omega, 0, 1, <, +, c^x, \C^x). Вестник ТвГУ. Серия: Прикладная математика (1[4]). С. 113-121. ISSN 1995-0136
Предварительный просмотр
Загрузить (311kB) | Предварительный просмотр
Абстракт
В работе рассматривается расширение арифметики Семёнова (\omega, 0, 1, <, +, c^x, \C^x). Мы показываем, что теория этой системы является разрешимой, демонстрируя, что каждая формула эквивалентна экзистенциальной.
| Тип объекта: | Статья |
|---|---|
| Ключевые слова: | арифметика Семёнова, арифметика Пресбургера, гипреэкспонента, согласованная со сложением функция |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.66 Поиск вывода и проблемы разрешения в логических и логико-математических исчислениях > 510.665 Проблемы разрешения |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| Разместивший пользователь: | И.С. Солдатенко |
| Дата размещения: | 08 Янв 2017 08:04 |
| Последнее изменение: | 08 Янв 2017 08:04 |
| URI: | http://eprints.tversu.ru/id/eprint/30 |
Действия (требуется вход)
- Посмотреть объект