×
巴达耶夫，S.A。;北卡罗来纳州巴兹诺夫。;B.S.卡尔穆尔扎耶夫。

可计算可枚举的前序关系的结构。 （英语。俄文原件） Zbl 1462.03018号

代数逻辑 59，第3期，201-215（2020）; 摘自《代数逻辑》59，第3期，293-314（2020）。
本文以Ershov的观点为基础，借鉴了U.安德鲁斯等人【Ann.Pure Appl.Logic 171，No.8，Article ID 102811，22 p.（2020；Zbl 1442.03021号)]. CEPRS结构由c级的前序关系、既自反又传递的二进制数值关系组成。同样对称的CEPR是等价关系。等价关系的结构在CEPRS中是可定义的，并且在计算上与一阶算法同构。自反和传递的二元关系是一个前序\（R\）可简化为\（S\）iff存在一个可计算函数\（f\），对于所有\（x\）和\（y\），\（xRy\）iff\（f（x）Sf（y）\）。众所周知，CEPRS中没有两个不可比较的度具有最小上限。
本文还研究了c.e.等价关系的结构CEERS和c.c.线性预序的结构CELPS。这两者在CEPRS中都有定义。CEERS和CELPS在本质上并不等同。如果（P）和（Q）相对于（leq_c）而言是不可比较的CEPRS，那么它们的度在CEPRS中没有上确权。断言至少有3个不同的最小度的句子在CEPRS中是正确的，但在CELPS中不是，它将它们标记为不同的结构。
审核人：约瑟夫·乌利安（圣巴巴拉）

引用于三文件

MSC公司：

03D45号 计算理论，有效呈现结构
03D25号 递归（可计算）可枚举集和度
03日30分 可计算性和递归理论中的其他度和可约性

关键词：

可计算可枚举预序;可计算可约性;可计算可枚举预序关系相对于可计算可约性的程度所诱导的结构

引文：

Zbl 1442.03021号
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Badaev}等人，《代数逻辑》59，第3期，201-215（2020；Zbl 1462.03018）；《代数逻辑学》第59卷第3期第293--314页的译文（2020年）
全文： 内政部

参考文献：

[1] Ershov，YL，正等价，代数和逻辑，10，6，378-394（1971）·Zbl 0276.02024号
[2] Ershov，YL，《数词理论（俄语）》（1977年），莫斯科：瑙卡，莫斯科
[3] Bernardi，C.，《关于关系可证明等价性和有效不可分集合中的划分》，Stud.Log。，40, 1, 29-37 (1981) ·Zbl 0468.03020号
[4] 伯纳迪，C。；Sorbi，A.，《正等价关系的分类》，J.Symb。日志。，48, 3, 529-538 (1983) ·Zbl 0528.03030号
[5] 高，S。；Gerdes，P.，可计算可枚举等价关系，Stud.Log。，67, 1, 27-59 (2001) ·Zbl 0981.03046号
[6] U.Andrews和A.Sorbi，“加入ceers结构并会面”，《可计算性》，第8期，第3/4期，193-241页（2019年）·Zbl 1454.03048号
[7] 安德鲁斯，美国。；Sorbi，A.，可计算可枚举等价关系的跳跃，Ann.Pure Appl。日志。，169, 3, 243-259 (2018) ·Zbl 1406.03055号
[8] 联合国安德鲁斯、N.施韦伯和A.索比，“ceers理论计算真正的算术”，《Ann.Pure Appl》。日志。，171，第8号（2020年），文章ID 102811·Zbl 1442.03021号
[9] 安德鲁斯，美国。；莱姆普，S。；米勒，JS；Ng，KM；莫罗，LS；Sorbi，A.，《通用可计算可枚举等价关系》，J.Symb。日志。，79, 1, 60-88 (2014) ·Zbl 1338.03076号
[10] U.Andrews、S.Badaev和A.Sorbi，“关于普遍可计算可枚举等价关系的调查”，Lect。注释计算。科学。，10010，Springer，Cham（2017），第418-451页·Zbl 1485.03146号
[11] S.Badaev和A.Sorbi，“弱预完备可计算枚举等价关系”，数学。日志。Q.，62，Nos.1/2，111-127（2016）·Zbl 1361.03043号
[12] J.C.Rosenstein，线性排序，纯应用。数学。，98，纽约学术出版社（1982年）·Zbl 0488.04002号
[13] 北卡罗来纳州巴兹诺夫；Kalmurzaev，BS，关于黑暗可计算可枚举等价关系，Sib。数学。J.，59，1，22-30（2018）·Zbl 1406.03057号
[14] Lachlan，AH，一度初始节段，Pac。数学杂志。，29, 2, 351-366 (1969) ·Zbl 0182.01603号
[15] P.G.Odifreddi，经典递归理论，第2卷，研究日志。已找到。数学。，143，荷兰北部，阿姆斯特丹（1999年）·Zbl 0931.03057号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。