巴哈迪尔·库萨诺夫;斯泰芬·伦普;斯拉曼，西奥多·A。 可计算可枚举代数、它们的展开式和同构。 （英语） Zbl 1096.03050号 国际代数计算杂志。 15，第3期，437-454（2005）. 摘要：可计算可枚举代数是指其正原子图是可计算可列举的代数。可计算代数是其原子图是可计算的代数。本文研究了可计算可数代数，并给出了这些代数与可计算代数类的几个代数和可计算理论区别。我们根据（Pi^0_1）-句的同余和有效连词给出了可计算可数但不可计算代数的一个特征。例如，我们的特征表明，在给定的c.e.代数中成立的负原子公式的可计算连词可以保存在无穷多个同态图像中。我们还研究了有限多个新函数的代数展开如何影响可计算同构类型的问题。特别地，我们构造了一个具有唯一可计算同构类型但没有有限生成的c.e.展开式的c.e.-代数。 引用于4文件 MSC公司： 03D45号 计算理论，有效呈现结构 关键词：同余关系;局部有限代数;免疫集;可计算可数代数;可计算代数;可计算同构类型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Khoussainov｝等人，国际代数计算杂志。15，第3号，437--454（2005；Zbl 1096.03050） 全文： 内政部 参考文献： [1] 内政部：10.1016/0304-3975（87）90123-X·Zbl 0637.68013号 ·doi:10.1016/0304-3975（87）90123-X [2] 内政部：10.2307/2270692·Zbl 0222.02048号 ·doi:10.2307/2270692 [3] Kasymov N.，《代数逻辑》26第715页—— [4] Kasymov N.，代数逻辑30 pp 293– [5] Vychils，Kasymov N。Systemy 116第3页– [6] Marek V.，递归数学手册1（1998）·Zbl 0905.03001号 [7] Griffor E.，《可计算性理论手册》（1999） [8] DOI:10.1007/BF01211084·Zbl 0887.68070号 ·doi:10.1007/BF011211084 [9] DOI:10.1007/978-3-662-02460-7·doi:10.1007/978-3-662-02460-7 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。