Дудаков, С.М. (2008) Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова. Вестник ТвГУ. Серия: Прикладная математика (1[8]). С. 65-75. ISSN 1995-0136
Предварительный просмотр |
PDF
- Опубликованная версия
273kB |
Абстракт
Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
Абстракт (англ.)
In previous papers it was established in the Semenov arithmetic there is the collapse result. Here we prove this result can be effective in many cases.
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Сергей Михайлович Дудаков, Тверской государственный университет, Россия, 170100, г.Тверь, ул.Желябова, 33, Кафедра информатики |
| Ключевые слова: | арифметика Семенова, коллапс к порядку |
| Ключевые слова (англ.): | Semenov arithmetic, collapse result |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории > 510.652 Формальная арифметика. Формальная теория чисел |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| ID Code: | 475 |
| Deposited On: | 08 Янв 2017 08:08 |
| Последнее изменение: | 08 Янв 2017 08:08 |
Repository Staff Only: item control page