id: 02154083
dt: j
an: 02154083
au: Alaev, P.E.
ti: Hyperarithmetical Boolean algebras with a distinguished ideal.
so: Sib. Mat. Zh. 45, No. 5, 963-976 (2004); translation in Sib. Math. J. 45,
    No. 5, 795-805 (2004).
py: 2004
pu: Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L.
    Soboleva SO RAN, Novosibirsk; Izdatel’stvo Instituta Matematiki,
    Novosibirsk
la: RU; EN
cc: 
ut: computable Boolean algebra with a distinguished ideal; hyperarithmetical
    Boolean algebra
ci: 
li: emis:journals/SMZ/2004/05/content5.htm
ab: The author proves a metatheorem on a transition from a hyperarithmetical
    Boolean algebra with a distinguished ideal to a computable algebra
    (which is too complicated to formulate it here). As an application, the
    author gives characterizations of $Δ_i$-computable Boolean algebras
    with a distinguished ideal for $i=2,4,5$.
rv: A. S. Morozov (Novosibirsk)