Счётные булевы алгебры и разрешимость (Гончаров С.С.)