Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова. Вестник ТвГУ. Серия: Прикладная математика (1[8]). С. 65-75. ISSN 1995-0136
Предварительный просмотр
Загрузить (273kB) | Предварительный просмотр
Абстракт
Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Сергей Михайлович Дудаков, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики |
| Ключевые слова: | арифметика Семенова, коллапс к порядку |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории > 510.652 Формальная арифметика. Формальная теория чисел |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| Разместивший пользователь: | И.С. Солдатенко |
| Дата размещения: | 08 Янв 2017 08:08 |
| Последнее изменение: | 08 Янв 2017 08:08 |
| URI: | http://eprints.tversu.ru/id/eprint/475 |
Действия (требуется вход)
- Посмотреть объект