RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив
Сиб. матем. журн., 1991, том 32, номер 1, страницы 174–178 (Mi smj3304)
Эта публикация цитируется в 2 статьях

Количество конечно аксиоматизируемых пополнений

С. С. Заурбеков


Аннотация: Рассмотрены точные оценки алгоритмической сложности некоторых естественных классов предложений в “малой” иерархии арифметических множеств, введенной и изученной В. Л. Селивановым.
Библиогр. 8.

УДК: 517.15

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


 Англоязычная версия: Siberian Mathematical Journal, 1991, 32:1, 141–145

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

© МИАН, 2024