|
|||||
|
|
Hyperarithmetical Boolean Algebras with a Distinguished Ideal |
|
| Authors: | Alaev P E |
| Institution: | (1) Sobolev Institute of Mathematics, Novosibirsk |
| 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 |
| 本文献已被 SpringerLink 等数据库收录！ | |