Cтраница 4
С, с) является линейно упорядоченным множеством. Пределом цепи С мы называем объединение JC ее элементов. [46]
Для всякой бесконечной мощности найдется однородное линейно упорядоченное множество такой мощности. [47]
Пусть X и Y - бесконечные линейно упорядоченные множества. Тогда существует такая модель 23, что Y - множество неразличимых в ней, причем множества формул, выполняющихся в модели 21 на возрастающих последовательностях элементов из X и в модели 23 на возрастающих последовательностях элементов из Y, совпадают. [48]
Пусть УЯп ( Мп) - линейно упорядоченные множества ( п е / Г); Мп содержит 2п 1 элемент. [49]
В каждом конечном непустом подмножестве х линейно упорядоченного множества А существуют первый и последний элементы. [50]