Hyperarithmetical Boolean Algebras with a Distinguished Ideal

P. E. Alaev

首页> 外文期刊>Siberian Mathematical Journal >Hyperarithmetical Boolean Algebras with a Distinguished Ideal

【24h】

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.

机译：我们证明了一个一般性定理，它使我们能够从具有卓越理想的超算术布尔代数传递到通过自然代数运算与前者连接的一些可计算布尔代数。给出了一些例子。

著录项

来源
《Siberian Mathematical Journal》 |2004年第5期|共11页
作者
P. E. Alaev;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
Boolean algebra; computability; computable structure;

机译：布尔代数可计算性可结构;

相似文献

外文文献
中文文献
专利

1. Hyperarithmetical Boolean Algebras with a Distinguished Ideal [J] . P. E. Alaev Siberian Mathematical Journal . 2004,第5期

机译：具有杰出理想的超算术布尔代数
2. HYPERARITHMETICAL CATEGORICITY OF BOOLEAN ALGEBRAS OF TYPE (B)(ω~α × η) [J] . N. A. Bazhenov Journal of Mathematical Sciences . 2014,第1期

机译：（B）（ω〜α×η）型布尔代数的超算术分类性
3. On Boolean algebraic ideals of Boolean algebras [J] . Hyung Koo Cha Journal of the Korean Mathematical Society . 1969,第2期

机译：关于布尔代数的布尔代数理想
4. Filters, Ideals and Congruences on Double Boolean Algebras [C] . Tenkeu Jeufack Yannick Lea, Etienne Romuald Alomo Temgoua, Leonard Kwuida International Conference on Formal Concept Analysis . 2021

机译：Double Boolean代数上的过滤器，理想和同时
5. BOOLEAN-VALUED MODELS OF SET THEORY WHEN THE BOOLEAN ALGEBRA IS A PROPER CLASS IN THE GROUND MODEL. [D] . PELLETIER, DONALD HECTOR. 1971

机译：当布尔代数是地面模型中的适当类时，集合论的布尔值模型。
6. Identification of control targets in Boolean molecular network models via computational algebra [O] . David Murrugarra, Alan Veliz-Cuba, Boris Aguilar, 2016

机译：通过计算代数识别布尔分子网络模型中的控制目标
7. Topologies on Boolean algebras defined by ideals and dual ideals [O] . R. Beazer 1973

机译：Boolean代数的拓扑结构由理想和双重理想定义
8. An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions [R] . Wojcik, A. S., Metze, G. 1971

机译：一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用

Hyperarithmetical Boolean Algebras with a Distinguished Ideal

摘要

著录项

相似文献

相关主题

期刊订阅