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