Аннотация:
В работе доказывается следующая теорема о надмножествах рекурсивно-перечислимых множеств.
Теорема 1.Любое кобесконечное рекурсивно-перечислимое не плотное простое множество имеет простое надмножество, которое не имеет плотных простых надмножеств.
Полный текст:
PDF файл (218 kB)
