RUS  ENG
Full version
JOURNALS // Siberian Journal of Pure and Applied Mathematics // Archive
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2014 Volume 14, Issue 2, Pages 24–41 (Mi vngu334)
Perfect Local Computability of Superatomic Boolean Algebra

D. A. Luppov

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

Abstract: Proved that superatomic Boolean algebra is perfect local computable if and only if its rank is equal to computable ordinal.

Keywords: superatomic Boolean algebra, local computable, perfect local computable, rank of superatomic Boolean algebra.

UDC: 510.5+510.6+512.563

Received: 30.06.2013


 English version: Journal of Mathematical Sciences, 2015, 211:6, 789–804

© Steklov Math. Inst. of RAS, 2024