О категоричности булевых алгебр типа B(ωα × η) в гиперарифметической иерархии

Abstract

Работа посвящена исследованию категоричности булевых алгебр относительно классов гиперарифметической иерархии. Доказано, что булева алгебра B(ω^(δ+n) ×η) (где δ — предельный ординал или ноль, n принадлежит ω, δ+n>=1) является Δ(δ+2n+1)^0 - категоричной, но не Δ(δ+2n)^0 - категоричной.