×
北卡罗来纳州巴兹诺夫。

具有不同自同态和生成树的布尔代数。 （俄语、英语） Zbl 1349.03034号

维斯特。新西卜。戈斯。州立大学。马特·梅赫。通知。 15，第1期，29-44（2015）; J.Math中的翻译。科学。，纽约215，第4期，460-474（2016）。
摘要：我们通过生成树和树的映射来刻画具有不同自同态的可计算布尔代数。我们证明了（ω）的可数子集族的每个度谱都是布尔代数某些自然丰富的度谱。

MSC公司：

03C57号 可计算结构理论
03D45号 计算理论，有效呈现结构
05年6月 布尔代数的结构理论

关键词：

布尔代数;具有可分辨自同态的布尔代数;度谱;可计算尺寸
PDF格式BibTeX公司 XML格式引用
\textit{N.A.Bazhenov}，韦斯特恩。新西卜。戈斯。州立大学。马特·梅赫。通知。15、第1号、第29-44号（2015；Zbl 1349.03034）；J.Math中的翻译。科学。，纽约215，第4号，460-474（2016）
全文： DOI程序

参考文献：

[1] S.S.Goncharov，“超原子布尔代数的可构造性”[俄语]，代数Logika12，第1期，31-40（1973）；英语翻译：《代数逻辑》12，第6期，17-22（1974）·Zbl 0281.02049号
[2] N.T.Kogabaev，“构造I-代数的通用编号”[俄语]，代数逻辑40，第5期，561-579（2001）；英语翻译：《代数逻辑》40，第5期，315-326（2001）·Zbl 0989.03041号
[3] N.A.Bazhenov和R.R.Tukhbatullina，“具有可分辨自同构的布尔代数（ω）的可构造性”[俄语]，《代数逻辑》51，第5期，579-607（2012）；英语翻译：《代数逻辑》51，第5期，384-403（2012）·兹比尔1286.03127
[4] 于。L.Ershov，《数字理论（俄语）》，瑙卡，莫斯科（1977年）·Zbl 1285.03059号
[5] S.S.Goncharov，可数布尔代数和可判定性[俄语]，Nauchnaya Kniga（IDMI），新西伯利亚（1996）；英语翻译：Kluwer Academic/Plenum Publishers，纽约等（1997）·Zbl 0902.03021号
[6] 于。L.Ershov和S.S.Goncharov，建构模型，[俄语]，Nauchnaya Kniga（IDMI），新西伯利亚（1999）；英语翻译：顾问局，纽约（2000年）·Zbl 1043.03518号
[7] C.J.Ash和J.F.Knight，《可计算结构和超算术层次》，Elsevier，阿姆斯特丹（2000）·Zbl 0960.03001号
[8] N.A.Bazhenov，“具有可分辨自同态的布尔代数类的可计算数”[俄语]，代数Logika52，第5期，535-552（2013）；英语翻译：《代数逻辑》52，第5期，355-366（2013）·Zbl 1337.03063号
[9] S.Goncharov、V.Harizanov、J.Knight、C.McCoy、R.Miller和R.Solomon，“可计算结构理论中的枚举”，Ann.Pure Appl。Logic136，第3期，219-246（2005）·Zbl 1081.03033号 ·doi:10.1016/j.apal.2005.02.001
[10] S.S.Goncharov，“可计算单值计数”（俄语），《代数逻辑》19，第5期，507-551（1980）；英语翻译：《代数逻辑》19，第5期，325-356（1981）·Zbl 0514.03029号
[11] J.F.Knight，“按顺序跳跃编码的学位”，J.Symb。Log.51，No.4，1034-1042（1986）·Zbl 0633.03038号 ·doi:10.2307/2273915
[12] S.S.Goncharov，“非自等价构造数问题”[俄语]，《代数逻辑》19，第6期，621-639（1980）；英语翻译：《代数逻辑》19，第6期，401-414（1980）·Zbl 0476.03046号
[13] I.Sh.Kalimullin，“一些结构的度谱”[俄语]，《代数逻辑》46，第6期，729-744（2007）；英语翻译：代数逻辑46，第6期，399-408（2007）·Zbl 1164.03329号
[14] I.Sh.Kalimullin，“几乎可计算可枚举集合族”（俄语），Mat.Sb.199，No.10，33-40（2008）；英语翻译：Sb.Math.199，第10期，1451-1458（2008）·Zbl 1162.03022号
[15] S.Wehner，“枚举，可数结构和图灵度”Proc。美国数学。Soc.126，No.7，2131-2139（1998）·Zbl 0906.03044号 ·doi:10.1090/S0002-9939-98-04314-7
[16] I.Sh.Kalimullin，算法系统的程度谱[俄语]，KFU，Kazan（2013）·Zbl 0906.03044号
[17] N.A.Bazhenov和R.R.Tukhbatullina，“具有可分辨自同构的布尔代数（ω）的可计算范畴”[俄语]，《代数逻辑》52，第2期，131-144（2013）；英语翻译：《代数逻辑》52，第2期，第89-97页（2013年）·Zbl 1315.03053号
[18] P.M.Semukhin，“布尔代数上可定义关系的度谱”[俄语]，Sib。Mat.Zh.46，第4928-941号（2005年）；英语翻译：同胞。Mat.J.46，第4期，740-750（2005年）·Zbl 1119.03042号
[19] T.A.Slaman，“相对于任何非递归集”，Proc。美国数学。Soc.126，第7期，2117-2122（1998年）·Zbl 0894.03017号 ·doi:10.1090/S0002-9939-98-04307-X
[20] B.M.Khousainov和T.M.Kowalski，“带算子的布尔代数的可计算同构”，Stud.Log.100，No.3，481-496（2012）·Zbl 1285.03059号 ·doi:10.1007/s11225-012-9411-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。