Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 28 февраля 2020 г.
Аннотация:Рассматриваются различные эквивалентные определения класса функций, элементарных по Сколему (аналогичные известным для класса функций, элементарных по Кальмару), и некоторые результаты, связанные с этим классом, полученные различными математиками. Некоторые определения данного класса исследовались математиками независимо друг от друга, и в работе доказана их эквивалентность. Исследуется вопрос о наличии в этом классе конечных базисов по суперпозиции. Доказывается, что проблема наличия таких базисов эквивалентна известной проблеме из теории сложности вычислений.