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

Изучаются булевы алгебры в сигнатуре "$\leqslant$". Доказано: булева решетка конструктивизируема тогда и только тогда, когда она конструктивизируема как булева алгебра; безатомная булева решетка неавтоустойчива; булева решетка автоустойчива тогда и только тогда, когда она конечна.