×

线性序负表示的度结构。 (英语。俄文原件) Zbl 1496.03172号

俄罗斯数学。 65,编号12,27-46(2021); Izv的翻译。维什。乌切布。扎韦德。,材料2021,编号12,31-55(2021)。
摘要:研究了线性序的负可表示度和正可表示度的偏序集的结构。重点是线性阶和具有自同态的阶的负可表示性。特别地,对于这些结构,我们建立了不可比度、最大度和最小度、无限链和反链的存在性,并考虑了与枚举可约性、可分裂度和正表示等概念的联系。

MSC公司:

03D45号 计算理论,有效呈现结构
03C57号 可计算结构理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 于尔肖夫(Yu Ershov)。L.,数词理论(1977),莫斯科:瑙卡,莫斯科
[2] 于尔肖夫(Yu Ershov)。L.,《可解决问题和构建模型》(1980年),莫斯科:瑙卡,莫斯科·Zbl 0495.03009号
[3] Goncharov,S.S。;于尔肖夫(Yu Ershov)。L.,《建筑模型》(1999),新西伯利亚:瑙奇纳亚·克尼加,新西比利亚·Zbl 1043.03518号
[4] Mal’tsev,A.I.,代数系统(1970),莫斯科:瑙卡,莫斯科·Zbl 0223.08001号
[5] Soar,I.R.,可计算可枚举集和度数(2000),喀山:喀山数学学会,喀山·Zbl 0995.03031号
[6] Mal’cev,A.I.,《关于代数系统的一般理论》,Mat.Sb.N.S.,35,1,3-20(1954)·Zbl 0057.02403号
[7] Mal'cev,A.I.,《构造代数》。一、 Uspehi Mat.Nauk,16、3、3-60(1961年)·Zbl 0129.25903号
[8] Kasymov,N.Kh.,递归可分枚举代数,俄罗斯数学。调查,51,3,509-538(1996)·Zbl 0878.03034号 ·doi:10.1070/RM1996v051n03ABEH002913
[9] Kasymov,N.Kh.,负代数上的同态,代数与逻辑,31,2,81-89(1992)·Zbl 0795.03045号 ·doi:10.1007/BF02259847
[10] 新罕布什尔州卡西莫夫。;Ibragimov,F.N.,可计算分离模型,Soverem。Mat.Fundam公司。那不勒斯。,64, 4, 682-705 (2018)
[11] Kasymov,N.Kh.,关于有效可分代数上的同态,Sib。数学。J.,57,1,36-50(2016)·Zbl 1377.03035号 ·doi:10.1134/S0037446616010055
[12] 新罕布什尔州卡西莫夫。;Ibragimov,F.N.,《斜场的可分离计数及其环中的有效嵌入性》,Sib。数学。J.,60,1,62-70(2019)·Zbl 1477.03146号 ·doi:10.1134/S0037446619010075
[13] Kasymov,N.Kh.,自然数序列的分离公理和分割,Sib。数学。J.,34,3,468-471(1993)·Zbl 0813.03029号 ·doi:10.1007/BF00971221
[14] 新罕布什尔州卡西莫夫。;Khodzhamuratova,I.A.,泛代数算法表示上的拓扑空间,Itogi-Nauki Tekh。序列号。索夫雷姆。Mat.Prilozh公司。特马特。奥巴马。,144, 17-29 (2018) ·Zbl 1484.03082号
[15] Kasymov,N.Kh.,负等价上的代数,代数与逻辑,33,1,46-48(1994)·Zbl 0820.03027号 ·doi:10.1007/BF00739416
[16] Kasymov,N.Kh.,有限条件下的非构造负代数,Sib。数学。J.,33,6,1126-1128(1992)·Zbl 0834.03011号 ·doi:10.1007/BF00971036
[17] Kasymov,N.Kh.,有限指标同余的正代数,代数与逻辑,30,3,190-199(1991)·Zbl 0788.03063号 ·doi:10.1007/BF01978852
[18] Kasymov,N.Kh.,具有可数同余格的正代数,代数与逻辑,31,1,12-23(1992)·Zbl 0787.08002号 ·doi:10.1007/BF02259854
[19] Kasymov,N.Kh.,具有noetherian同余格的正代数,Sib。数学。J.,33,2338-341(1992年)·Zbl 0794.03060号 ·doi:10.1007/BF00971109
[20] Kasymov,N.Kh.,剩余有限正呈现展开式的代数,Logika代数,26,6,715-730(1987)·Zbl 0661.03038号
[21] Kasymov,N.Kh.,关于正代数的Q-同余数,代数与逻辑,31,3,182-187(1993)·Zbl 0795.03046号 ·doi:10.1007/BF0225947
[22] Kasymov,N.Kh.,简单集上代数的同余数,数学。注释,52,1-2,861-862(1992)·Zbl 0787.03033号 ·doi:10.1007/BF01236787
[23] 新罕布什尔州卡西莫夫。;Khusainov,B.M.,与有限类及其上的代数的正等价,西伯利亚数学。J.,33,5,923-927(1992)·Zbl 0781.03019号 ·doi:10.1007/BF00971000
[24] 新罕布什尔州卡西莫夫。;Dadazhanov,R.N.,负密线性序,Sib。数学。J.,58,6,1015-1033(2017)·Zbl 1469.03124号 ·doi:10.1134/S0037446617060118
[25] 莫罗佐夫,A.S。;Truss,J.K.,《有理数的可计算自同构》,J.符号逻辑,66,3,1458-1470(2001)·兹比尔0990.03034 ·doi:10.2307/2695118
[26] Kasymov,N.Kh.,具有一致递归可分类的枚举代数,Sib。数学。J.,34,5,869-882(1993)·Zbl 0813.03030号 ·doi:10.1007/BF00971403
[27] Goncharov,S.S.,《用于描述的数据和语言模型》,Vychils。《姐妹会》,107,52-77(1985)·Zbl 0621.68020号
[28] 新罕布什尔州卡西莫夫。;Morozov,A.S.,《关于负等价上线性阶的可定义性》,代数逻辑,55,1,24-37(2016)·Zbl 1358.03043号 ·doi:10.1007/s10469-016-9373-x
[29] Feiner,L.,布尔代数的层次结构,J.Symb。逻辑,35,2365-374(1970)·Zbl 0222.02048号 ·doi:10.2307/2270692
[30] 库萨诺夫,B。;斯拉曼,T。;Semukhin,P.,(\prod_1^0)-代数表示,数学档案。逻辑,45,6,769-781(2006)·兹比尔1099.03025 ·doi:10.1007/s00153-006-0013-3
[31] Fokina,E。;库萨诺夫,B。;Semukhin,P。;和Turetskiy,D.,C.E.等价关系实现的线性阶,J.Symb。逻辑,81,2,463-482(2016)·Zbl 1371.03049号 ·doi:10.1017/jsl.2015.11
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。