Алаев П. Е.
Гиперарифметические булевы алгебры с выделенным идеалом

Доказывается общая теорема, позволяющая осуществлять переход от гиперарифметической булевой алгебры с выделенным идеалом к вычислимой булевой алгебре, связанной с исходной естественными алгебраическими операциями. Приводятся примеры.

Alaev P. E.
Hyperarithmetical Boolean algebras with a distinguished ideal

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.

Полный текст статьи / Full texts:

• PDF file (478 KB)
• PostScript file (963 KB)