北卡罗来纳州巴兹诺夫。;新泽西州格林伯格。;A.梅尔尼科夫。;R·米勒。;Ng、K.M。 关于可计算区分颜色的注释。 （英语） Zbl 1491.03026号 Lobachevskii J.数学。 42，第4号，693-700（2021）。 摘要：结构（mathcal{S}）的（alpha）-着色（xi）是区别如果不存在关于\（\xi\）的\（\mathcal｛S｝\）的非平凡自同构。在本文中，我们证明了几个结果，说明计算结构的可分辨数通常非常困难。相反，我们证明了每个可计算布尔代数都有一个可计算可区别2-染色；我们将新的定义应用于可分离的Banach空间。 MSC公司： 03C57 可计算结构理论 03天45分 计算理论，有效呈现结构 05C15号 图和超图的着色 关键词：可计算结构;区分颜色;索引集;布尔代数;可计算巴拿赫空间 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人，Lobachevskii J.Math。42，编号4，693--700（2021；Zbl 1491.03026） 全文： 内政部 参考文献： [1] M.O.阿尔伯森。；Collins，K.L.，图的对称破缺，电子。J.库姆。，3，R18（1996）·Zbl 0851.05088号 ·doi:10.37236/1242 [2] 伊姆里奇，W。；克拉夫扎尔，S。；Trofimov，V.，《区分无限图》，电子。J.库姆。，14，R36（2007）·Zbl 1124.05044号 ·数字对象标识代码：10.37236/954 [3] 拉弗拉姆，C。；Nguyen Van Thé，L。；Sauer，N.，可数齐次关系结构的判别数，电子。J.库姆。，17，R20（2010）·Zbl 1215.05198号 ·doi:10.37236/292 [4] 史密斯，S.M。；塔克，T。；Watkins，M.E.，无限群和图的可分辨性，电子。J.库姆。，19, 27 (2012) ·Zbl 1243.05086号 ·doi:10.37236/2283 [5] Estaji，E。；伊姆里奇，W。；Kalinowski，R。；Pilśnyak先生。；Tucker，T.，可数图的笛卡尔乘积的判别，讨论。数学。，图论，37，155-164（2017）·兹比尔1354.05065 ·doi:10.7151/dmgt.1902 [6] R.Miller、R.Solomon和R.M.Steiner，《论对称性破缺的有效性》，摘自《语言、生活、极限》。注释计算。科学。8493, 314-323 (2014). ·Zbl 1432.68363号 [7] 于尔肖夫（Yu Ershov）。L。；Goncharov，S.S.，《建筑模型》（2000），纽约：顾问局，纽约·Zbl 0954.03036号 ·doi:10.1007/978-1-4615-4305-3 [8] C.J.Ash和J.Knight，《可计算结构和超算术层次结构》，《逻辑和数学基础研究》第144卷（阿姆斯特丹北霍兰德出版社，2000年）·Zbl 0960.03001号 [9] K.Weihrauch，可计算分析，理论计算机科学文本，EATCS系列（Springer，Berlin，2000）·Zbl 0956.68056号 [10] Goncharov，S.S。；Knight，J.F.，可计算结构和非结构定理，代数逻辑，41，351-373（2002）·Zbl 1034.03044号 ·doi:10.1023/A:1021758312697 [11] A.Montalbán，“结构类别的可计算性理论分类”，《国际数学家大会论文集》，首尔，2014年（2014年），第2卷，第79-101页·Zbl 1373.03069号 [12] R.G.Downey和A.G.Melnikov，“可计算分析和分类问题”，摘自《超越可计算性的地平线》，Lect。注释计算。科学。12098, 100-111 (2020). ·Zbl 07633500号 [13] 唐尼，R。；Montalbán，A.，《无挠阿贝尔群的同构问题是解析完全的》，J.Algebra，3202291-2300（2008）·Zbl 1156.03042号 ·doi:10.1016/j.jalgebra.2008.06.007 [14] 唐尼，R。；Melnikov，A.G。；Ng，K.M.，阿贝尔（p）的迭代有效嵌入，国际代数计算杂志。，24, 1055-1084 (2014) ·Zbl 1339.03034号 ·doi:10.1142/S0218196714500465 [15] Bazhenov，N。；哈里森·特雷纳，M。；卡里穆林，I。；梅尔尼科夫，A。；Ng，K.M.，《自动和多项式时间代数结构》，J.Symbol。逻辑，841630-1669（2019）·Zbl 1454.03042号 ·doi:10.1017/jsl.2019.26 [16] Melnikov，A.G。；Ng，K.M.，可计算扭阿贝尔群，高等数学。，325, 864-907 (2018) ·Zbl 1470.03018号 ·doi:10.1016/j.aim.2017.12.011 [17] Bazhenov，N.，可判定结构的自稳谱，数学。结构。计算。科学。，28392-411（2018）·doi:10.1017/S096012951600030X [18] Goncharov，S.S.，《可数布尔代数与可判定性》（1997），纽约：顾问局，纽约·Zbl 0912.03019号 [19] A.Bonato，C.Laflamme，M.Pawliuk和N.Sauer，“区分Urysohn度量空间的数量”，arXiv:1811.06023。 [20] Pour-El，M.B。；Richards，J.I.，《分析和物理中的可计算性》（1989），柏林：施普林格出版社，柏林·Zbl 0678.03027号 ·doi:10.1007/978-3-662-21717-7 [21] Melnikov，A.G。；Ng，K.M.，连续函数空间上的可计算结构和操作，基金。数学。，233, 101-141 (2016) ·Zbl 1393.03025号 [22] Enflo，P.，Banach空间中近似问题的反例，数学学报。，130, 309-317 (1973) ·Zbl 0267.46012号 ·doi:10.1007/BF02392270 [23] Bosserhoff，V.，《关于Schauder基的有效存在性》，J.UCS，151145-1161（2009）·Zbl 1201.03030号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。