×
北卡罗来纳州巴兹诺夫。;弗罗洛夫，A.N。;卡里穆林，I.Sh。;A.G.梅尔尼科夫。

分配格的可计算性。 （英语。俄文原件） Zbl 1469.03121号

同胞。数学。J。 58，第6号，959-970（2017）; 来自Sib的翻译。材料Zh。58，第6号，1236-1251（2017）。
小结：（不一定分配）可数格的类是HKSS-普遍的，而且我们也知道，可数线性阶的类对于度谱和可计算范畴都不是普遍的。我们调查了分配的格，并构造了具有度谱的分配格（\｛\mathbf｛d｝：\mathbf｛d｝\neq\mathbf｛0｝\｝\）。不知道是否存在具有此特性的线性顺序。我们证明了存在一个相对非（Delta_2^0）范畴的可计算范畴分配格。众所周知，任何线性阶都不可能具有这种性质。可数分配格的普遍性问题仍然悬而未决。

引用于4文件

MSC公司：

03D45号 计算理论，有效呈现结构
03C57号 可计算结构理论

关键词：

分配格;可计算结构;度谱;可计算分类
PDF格式BibTeX公司 XML格式引用
\textit｛N.A.Bazenov｝等人，兄弟姐妹。数学。J.58，第6号，959--970（2017；Zbl 1469.03121）；来自Sib的翻译。材料Zh。58，第6号，1236--1251（2017）
全文： 内政部

参考文献：

[1] Knight J.F.和Stob M.，“可计算布尔代数”，J.Symb。日志。，第65卷，第4期，1605-1623（2000）·Zbl 0974.03041号 ·电话：10.2307/2695066
[2] Melnikov A.G.，“阿贝尔群的新度谱”，《圣母院学报》。，第58卷，第4期，507-525（2017）·Zbl 1423.03152号 ·doi:10.1215/0294527-2017-0006
[3] Hirschfeldt D.R.、Khousainov B.、Shore R.A.和Slinko A.M.，“代数结构中的度谱和可计算维度”，《Ann.Pure Appl。《逻辑》，第115卷，第1-3期，第71-113页（2002年）·Zbl 1016.03034号 ·doi:10.1016/S0168-0072（01）00087-2
[4] Fokina，E.B。；Friedman，S.-D.，可计算结构类的等价关系，198-207（2009），柏林·Zbl 1268.03039号 ·doi:10.1007/978-3642-03073-4_21
[5] Harrison-Trainor M.、Melnikov A.、Miller R.和Montalban A.，“可计算函子和有效解释性”，J.Symb。日志。，第82卷，第1期，77-97（2017）·Zbl 1390.03034号 ·doi:10.1017/jsl.2016.12
[6] Montalbán，A.，《结构类别的可计算性理论分类》（2014）·兹比尔1373.03069
[7] Downey，R.G.，可计算性理论和线性排序（1998），阿姆斯特丹·Zbl 0941.03045号
[8] Frolov A.、Harizanov V.、Kalimullin I.、Kudinov O.和Miller R.，“高次和非低次光谱”，J.Log。计算。，第22卷，第4期，755-777（2012）·Zbl 1260.03068号 ·doi:10.1093/log.com/exq041
[9] Richter L.J.，“结构程度”，J.Symb。日志。，第46卷，第4期，723-731（1981）·Zbl 0512.03024号 ·doi:10.2307/2273222
[10] Miller R.，“线性阶的Δ20谱”，J.Symb。日志。，第66卷，第2期，470-486（2001）·Zbl 0992.03050号 ·doi:10.2307/2695025
[11] Goncharov S.S.和Dzgoev V.D.，“模型的自稳定性”，《代数与逻辑》，第19卷，第1期，28-37（1980）·Zbl 0468.03023号 ·doi:10.1007/BF01669102
[12] Remmel J.B.，“递归分类线性排序”，Proc。阿默尔。数学。Soc.，第83卷，第2期，387-391（1981）·Zbl 0493.03022号 ·doi:10.1090/S0002-9939-1981-0624937-1
[13] Ash C.J.，“递归标记系统和超算术级递归结构的稳定性”，转。阿默尔。数学。Soc.，第298卷，第2期，497-514（1986年）·Zbl 0631.03017号 ·doi:10.1090/S0002-9947-1986-0860377-7
[14] McCoy C.F.D.，“布尔代数和线性序中的Δ20-范畴性”，《纯粹应用年鉴》。《逻辑》，第119卷，第1-3期，第85-120页（2003年）·Zbl 1016.03036号 ·doi:10.1016/S0168-0072（02）00035-0
[15] McCoy Ch.F.D.，“线性序和布尔代数中Δ30范畴的部分结果”，《代数与逻辑》，第41卷，第5期，295-305（2002）·Zbl 1008.03023号 ·doi:10.1023/A:1020927703492
[16] Frolov A.N.，“可计算线性次序的有效分类”，《代数与逻辑》，第54卷，第5期，415-417（2015）·Zbl 1361.03044号 ·doi:10.1007/s10469-015-9362-5
[17] Selivanov V.L.，“代数系统的算法复杂性”，数学。注释，第44卷，第6期，944-950（1988年）·Zbl 0675.03026号 ·doi:10.1007/BF01158034文件
[18] Turlington A.，《Heyting代数和分配格的可计算性》，康涅狄格大学博士论文（2010年）。
[19] Bazhenov N.A.，“分配格和Heyting代数的有效范畴”，Lobachevskii J.Math。，第38卷，第4期，600-614（2017）·Zbl 1420.03070号 ·doi:10.1134/S1995080217040035
[20] Wehner S.，“枚举、可数结构和图灵度”，Proc。阿默尔。数学。Soc.，第126卷，第7期，2131-2139（1998年）·Zbl 0906.03044号 ·doi:10.1090/S0002-9939-98-04314-7
[21] Knight J.F.，“按顺序跳跃编码的学位”，J.Symb。日志。，第51卷，第4期，1034-1042（1986）·Zbl 0633.03038号 ·电话：10.2307/2273915
[22] Slaman T.A.，“相对于任何非递归集”，Proc。阿默尔。数学。Soc.，第126卷，第7期，2117-2122（1998）·Zbl 0894.03017号 ·doi:10.1090/S0002-9939-98-04307-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。