Суслина Условие

подобно ли множеству действительных чисел плотное в себе линейно упорядоченное множество без первого и последнего элементов, в к-ром всякое семейство непустых дизъюнктных интервалов счетно. Утверждение положительного решения этой проблемы есть гипотеза Суслина - она выдвинута М. Я. Суслиным [1]. Гипотеза Суслина эквивалентна несуществованию линейно упорядоченного несепарабельного бикомпакта, в к-ром всякое семейство непустых дизъюнктных интервалов счетно,- такой бикомпакт наз. Континуумом Сусл..

(в дескриптивной теории множеств) - 1) Существует А-множество (числовой прямой не являющееся борелевским множеством. 2) Для того чтобы данное А-множество было борелевским, необходимо и достаточно, чтобы его дополнение было также А-множеством. 3) Всякое А-множество n-мерного пространства есть (ортогональная) проекция борелевского (даже типа множества пространства (и следовательно, существует плоское борелевское множество типа проекция которого не является борелевским множеством). Проекция ..

алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к-рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. Н. Т. Тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию. С. Н. Т. Является всякая полная неразрешимая теория, арифметика формальная;всякая теория, имеющая конечную модель, не является С. Н. Т. Существенная неразрешимость подходящей конечно аксиоматизируемой элементарной теории Sчасто используется при доказ..

изолированная особая точка а однозначного характера аналитич. Ции f(z) комплексного переменного z, для к-рой не существует никакого, конечного или бесконечного, предела В достаточно малой проколотой окрестности С. О. Т. или в случае функция f(z)разлагается в ряд Лорана или соответственно причем в главной части этих рядов имеется бесконечно много отличных от нуля коэффициентов с k с отрицательными индексами k. Сохоцкого теорема показывает, что любое комплексное значение wиз расширенной..