|
Сибирский математический журнал, 1990, том 31, номер 6, страницы 215–216
(Mi smj4654)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Неразрешимость теории решетки $L^0_{sm}$
Т. В. Рыбина
Аннотация:
Посредством метода относительной элементарной определимости доказывается наследственная неразрешимость теории решетки рекурсивно перечислимых степеней по отделимости.
Библиогр. 3.
Статья поступила: 01.09.1988
Образец цитирования:
Т. В. Рыбина, “Неразрешимость теории решетки $L^0_{sm}$”, Сиб. матем. журн., 31:6 (1990), 215–216; Siberian Math. J., 31:6 (1990), 1058–1059
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj4654 https://www.mathnet.ru/rus/smj/v31/i6/p215
|
Статистика просмотров: |
Страница аннотации: | 48 | PDF полного текста: | 15 |
|