Cтраница 1
Бэлбес и Хорн ввели понятие условно импликативной структуры [86] и доказали, что каждая проективная дистрибутивная структура условно импликативна. [1]
Основным техническим аппаратом, используемым Бэлбесом для изучения проективности дистрибутивных структур, являются - свободные последовательности. [2]
Рассматривая категорию дистрибутивных структур, Бэлбес показал [85], что инъективными объектами здесь являются полные булевые алгебры и только они. Дистрибутивная структура проек-тивна тогда и только тогда, когда она является ретрактом свободной дистрибутивной структуры. Проективная дистрибутивная структура не содержит несчетных цепей. [3]