Определимость булевых алгебр в $\mathbb{HF}$-надстройках,

В рамках подхода $\Sigma$-определимости, введенного Ю. Л. Ершовым, изучается определимость булевых алгебр и их рангов Фреше в наследственно-конечных надстройках. Строятся примеры суператомной булевой алгебры, ранг Фреше которой не является $\Sigma$-определимым в наследственно конечной надстройке над ней, и допустимого множества, в котором безатомная булева алгебра не является автоустойчивой.