Эффективная трансляция расширенных

Uložené v:
Podrobná bibliografia
Názov: Эффективная трансляция расширенных
Informácie o vydavateľovi: Тверской госуниверситет, 2008.
Rok vydania: 2008
Predmety: 510.652 Формальная арифметика. Формальная теория чисел
Popis: Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
Druh dokumentu: Article
Popis súboru: application/pdf
Jazyk: Russian
Prístupová URL adresa: https://openrepository.ru/article?id=434886
Prístupové číslo: edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
Databáza: OpenAIRE
Popis
Abstrakt:Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.