RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 2004 Volume 45, Number 5, Pages 963–976 (Mi smj1130)
This article is cited in 8 papers

Hyperarithmetical Boolean algebras with a distinguished ideal

P. E. Alaev

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: We prove a general theorem that allows us to pass from a hyperarithmetical Boolean algebra with a distinguished ideal to some computable Boolean algebra connected with the former by natural algebraic operations. Some examples are given.

Keywords: Boolean algebra, computability, computable structure.

UDC: 510.5, 510.6, 512.563

Received: 17.04.2003


 English version: Siberian Mathematical Journal, 2004, 45:5, 795–805

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025