Аннотация:
С помощью техники деревьев, по конструктивной булевой алгебре и ее идеалу, строится сильно конструктивная атомная булева алгебра, фактор которой, по идеалу Фреше, изоморфен фактору исходной алгебры по исходному идеалу. Как следствие получено достаточное условие сильной конструктивизируемости. Библиогр. 7 назв.
Yu.L. Ershov, S.S. Goncharov, Studies in Logic and the Foundations of Mathematics, 138, Handbook of Recursive Mathematics - Volume 1: Recursive Model Theory, 1998, 115