Эффективная трансляция расширенных &lt;-инвариантных формул в &lt;-ограниченные в арифметике Семенова

Дудаков, С.М.

Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова

Дата публикации: 2008

Дата публикации в реестре: 2020-03-18T12:43:41Z

Аннотация:

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

Ключевые слова:
510.652 Формальная арифметика. Формальная теория чисел

Тип: Статья

Эффективная трансляция расширенных <-инвариантных формул в <-ограниченные в арифметике Семенова

Связанные документы (рекомендация CORE)

Партнеры

Индексация