|
Сибирский математический журнал, 1977, том 18, номер 2, страницы 462–464
(Mi smj3943)
|
|
|
|
Отдел заметок
Одна теорема о надмножествах рекурсивно-перечислимых множеств
Е. З. Дымент
Аннотация:
В работе доказывается следующая теорема о надмножествах рекурсивно-перечислимых множеств.
Теорема 1. Любое кобесконечное рекурсивно-перечислимое не плотное простое множество имеет простое надмножество, которое не имеет плотных простых надмножеств.
Статья поступила: 11.07.1975
Образец цитирования:
Е. З. Дымент, “Одна теорема о надмножествах рекурсивно-перечислимых множеств”, Сиб. матем. журн., 18:2 (1977), 462–464; Siberian Math. J., 18:2 (1977), 331–332
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3943 https://www.mathnet.ru/rus/smj/v18/i2/p462
|
|