Сильная конструктивизируемость счетных насыщенных булевых алгебр

Доказано существование счетного насыщенного расширения у любой счетной булевой алгебры, в явном виде построены все счетные насыщенные булевы алгебры как алгебры над некоторыми счетными порядками. На основании этого доказана их сильная конструктивизируемость. Найдены критерии насыщенности и однородности счетных булевых алгебр. Попутно получены некоторые результаты о продолжении изоморфных вложений булевых алгебр.