Рекурсивные однородные булевы алгебры

А. С. Морозов описал типы изоморфизма счетных однородных булевых алгебр. Им же был решен вопрос о разрешимости этих алгебр: счетная однородная булева алгебра имеет разрешимое представление тогда и только тогда, когда множество, характеризующее тип изоморфизма этой алгебры, лежит в классе $\Pi^0_2$ арифметической иерархии. Вопрос о характеризации однородных булевых алгебр, имеющих рекурсивное представление, оставался открытым. Дается частичный ответ на этот вопрос: находятся точная верхняя и точная нижняя оценки множества, характеризующего тип изоморфизма такой алгебры, в терминах иерархии Фейнера.