О конструктивных булевых алгебрах

С помощью техники деревьев, по конструктивной булевой алгебре и ее идеалу, строится сильно конструктивная атомная булева алгебра, фактор которой, по идеалу Фреше, изоморфен фактору исходной алгебры по исходному идеалу. Как следствие получено достаточное условие сильной конструктивизируемости. Библиогр. 7 назв.