|
Сибирский математический журнал, 1991, том 32, номер 1, страницы 174–178
(Mi smj3304)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Количество конечно аксиоматизируемых пополнений
С. С. Заурбеков
Аннотация:
Рассмотрены точные оценки алгоритмической сложности некоторых естественных классов предложений в “малой” иерархии арифметических множеств, введенной и изученной В. Л. Селивановым.
Библиогр. 8.
Статья поступила: 10.11.1988
Образец цитирования:
С. С. Заурбеков, “Количество конечно аксиоматизируемых пополнений”, Сиб. матем. журн., 32:1 (1991), 174–178; Siberian Math. J., 32:1 (1991), 141–145
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3304 https://www.mathnet.ru/rus/smj/v32/i1/p174
|
Статистика просмотров: |
Страница аннотации: | 60 | PDF полного текста: | 22 |
|