Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

Leontyeva M. N.

首页> 外文期刊>Siberian Mathematical Journal >Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

【24h】

Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

机译：具有杰出原子的布尔代数的相对本质上可计算关系

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We prove the theorem that fully describes relatively intrinsically computable relations on Boolean algebras with a distinguished set of atoms.

机译：我们证明了与杰出的原子组完全描述了对布尔代数的相对内在的可计算关系的定理。

著录项

来源
《Siberian Mathematical Journal 》 |2020年第3期| 共9页
作者
Leontyeva M. N.;
展开▼
作者单位

Novosibirsk State Univ Sobolev Inst Math Novosibirsk Russia;

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

机译：布尔代数;可计算功能;可计算模型;本质上可计算关系;相对本质上的可计算关系;

相似文献

外文文献
中文文献
专利

1. Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms [J] . Leontyeva M. N. Siberian Mathematical Journal . 2020 ,第3期

机译：具有杰出原子的布尔代数的相对本质上可计算关系
2. Boolean algebras of elementary characteristic (1, 0, 1) whose set of atoms and Ershov-Tarski ideal are computable [J] . Leontieva M.N. Algebra and logic . 2011 ,第2期

机译：基本特征（1、0、1）的布尔代数，其原子集和Ershov-Tarski理想是可计算的
3. 2-COMPUTABLY ENUMERABLE DEGREES OF CATEGORICITY FOR BOOLEAN ALGEBRAS WITH DISTINGUISHED AUTOMORPHISMS [J] . N. A. Bazhenov Journal of Mathematical Sciences . 2015 ,第6期

机译：具有自同构的布尔代数的2相容可数度
4. Relationships among sets, relations, lattices, and Boolean algebra [C] . Lee, E.T., Yang, . 1991

机译：集，关系，格和布尔代数之间的关系
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. Computably categorical Boolean algebras enriched by ideals and atoms [O] . Alaev P.E. 2012

机译：可计算类别布尔布尔代数，其中包含理想和原子

Relatively Intrinsically Computable Relations on Boolean Algebras with a Distinguished Set of Atoms

摘要

著录项

相似文献

相关主题

期刊订阅