П. Е. Алаев, “Гиперарифметические булевы алгебры с выделенным идеалом”, Сиб. матем. журн., 2004, том 45, номер 5,страницы 963

Эта публикация цитируется в 8 статьях

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

П. Е. Алаев

Институт математики им. С. Л. Соболева СО РАН

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

Ключевые слова: булева алгебра, вычислимость, конструктивная модель.

УДК: 510.5, 510.6, 512.563

Статья поступила: 17.04.2003