Спектр жестких систем хорновых классов

Доказывается, что всякий хорновский класс с дистрибутивными конгруэнциями, обладающий жесткой, неодноэлементной системой с жесткой линейно упорядоченной совокупностью главных конгруэнций содержит жесткие системы любой большей несчетной мощности.
Библ. 10.