View in EDS

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

Saved in:

Bibliographic Details
Title:	Эффективная трансляция расширенных
Publisher Information:	Тверской госуниверситет, 2008.
Publication Year:	2008
Subject Terms:	510.652 Формальная арифметика. Формальная теория чисел
Description:	Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.
Document Type:	Article
File Description:	application/pdf
Language:	Russian
Access URL:	https://openrepository.ru/article?id=434886
Accession Number:	edsair.httpsopenrep..f526deecab9d86836ecf02353a3c14fd
Database:	OpenAIRE

Description
Abstract:	Ранее было показано, что для арифметики Семенова имеет место коллапс к порядку. В данной работе мы демонстрируем, что в ряде случаев для арифметики Семенова возможна эффективная трансляция формул.