Leontieva，M.N。 初等特征布尔代数的强构造性。 （英语。俄文原件） Zbl 1323.03046号 代数逻辑 53，第2期，119-132（2014）; 摘自《代数逻辑》53，第2期，185-205（2014）。 摘要：根据布尔代数上规范Ershov-Tarski谓词序列的可计算性，我们给出了初等特征布尔代数（（infty，0，0））的强可构造条件的完整描述。 MSC公司： 03C57号 可计算结构理论 05年6月 布尔代数的结构理论 关键词：布尔代数;可计算模型;布尔代数的理想 PDF格式BibTeX公司 XML格式引用 \textit｛M.N.Leontieva｝，《代数逻辑53》，第2期，第119-132页（2014年；Zbl 1323.03046）；《代数逻辑学》第53卷第2期第185-205页（2014）的译文 全文： 内政部 参考文献： [1] S.S.Goncharov，可数布尔代数与可判定性，Sib。阿尔法学校。日志。[俄语]，Nauch。克尼加，新西伯利亚（1996）·Zbl 0902.03021号 [2] 布尔代数手册，卷。1-3，J.D.Monk（编辑），阿姆斯特丹北霍兰德（1989）·Zbl 0671.06001号 [3] 于。L.Ershov，“具有相对补语的分配结构初等理论和过滤理论的可判定性”，《代数逻辑学》，第3期，第3号，第17-38页（1964年）·Zbl 0199.03103号 [4] S.S.Goncharov，“构造布尔代数的限制理论”，Sib。材料Zh。，17，第4期，797-812（1976年）·Zbl 0361.02066号 [5] S.S.Goncharov，“布尔代数构造化的一些性质”，Sib。材料Zh。，16，第2期，264-278（1975年）·Zbl 0309.02052号 ·doi:10.1007/BF00967504 [6] S.P.Odintsov，“下层构造布尔代数的限制理论”，印前21号，新西伯利亚数学研究所（1986）·Zbl 1096.03043号 [7] V.N.Vlasov，“初等特征布尔代数（1，0，1）的可构造性”，代数Logika，37，第5期，499-521（1998）·Zbl 0914.03043号 ·doi:10.1007/BF02671631 [8] P.E.Alaev，“特征（1，0，1）的可判定布尔代数”，Mat.Trudy，7，No.1，3-12（2004）·Zbl 1062.03035号 [9] P.E.Alaev，“强构造布尔代数”，《代数逻辑》，44，第1期，3-23（2005）·Zbl 1096.03043号 ·doi:10.1007/s10469-005-0001-4 [10] M.N.Leontieva，“具有基本特征（1，0，1）的布尔代数，其原子集和原子元素理想是可计算的”，Vestnik NGU，Mat.，Mekh。，Inf.，10，No.1，65-69（2010）·Zbl 1249.03059号 [11] M.N.Leontieva，“布尔代数可判定性的充分条件”，Vesnik NGU，Mat.，Mekh。，Inf.，11，No.4，63-68（2011）·Zbl 1249.03060号 [12] M.N.Leontieva，“原子集和Ershov-Tarski理想可计算的基本特征布尔代数（1,0,1）”，《代数逻辑》，第50期，第2期，第133-151页（2011年）·Zbl 1345.03064号 ·doi:10.1007/s10469-011-9126-9 [13] M.N.Leontieva，“布尔代数某些可判定条件的极小性”，Sib。材料Zh。，53，第1期，第132-147页（2012年）·Zbl 1252.03095号 [14] M.N.Leontieva，“布尔代数类中强可计算表示的存在性”，Dokl。罗斯。阿卡德。诺克，445，第2期，132-134（2012）·Zbl 1266.03049号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。