RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2009, том 16, выпуск 2, страницы 42–60 (Mi da567)

Эта публикация цитируется в 2 статьях

О классе функций, элементарных по Сколему

С. А. Волков

Московский государственный университет им. М. В. Ломоносова, Москва, Россия

Аннотация: Рассматриваются различные эквивалентные определения класса функций, элементарных по Сколему (аналогичные известным для класса функций, элементарных по Кальмару), и некоторые результаты, связанные с этим классом, полученные различными математиками. Некоторые определения данного класса исследовались математиками независимо друг от друга, и в работе доказана их эквивалентность. Исследуется вопрос о наличии в этом классе конечных базисов по суперпозиции. Доказывается, что проблема наличия таких базисов эквивалентна известной проблеме из теории сложности вычислений. Библиогр. 26.

Ключевые слова: классификация рекурсивных функций, вычислительная сложность.

УДК: 519.712

Статья поступила: 24.10.2008


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2010, 4:4, 588–599

Реферативные базы данных:


© МИАН, 2024