×

代数结构的跳跃反演和({\Sigma})-可定义性。 (英语。俄文原件) Zbl 1451.03024号

代数逻辑 57,第2期,161-165(2018); 摘自《代数逻辑》57,第2期,243-249(2018)。

MSC公司:

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

参考文献:

[1] Morozov,AS,关于容许集之间σ-可约性的关系,Sib。数学。J.,4522-535,(2004年)·Zbl 1097.03039号 ·doi:10.1023/B:SIMJ.0000028617.17064.08
[2] Baleva,V,结构度的跳跃操作,Arch。数学。日志。,45, 249-265, (2006) ·Zbl 1089.03034号 ·doi:10.1007/s00153-004-0245-z
[3] A.A.Soskova,“度谱的跳跃反演定理”,in莱克特。票据计算。科学。第4497页,柏林斯普林格-Verlag出版社(2007年),第716-726页·Zbl 1142.03354号
[4] Soskova,AA;Soskov,IN,度谱的跳跃反演定理,J.Log。计算。,19, 199-215, (2009) ·Zbl 1165.03018号 ·doi:10.1093/log/exn024
[5] A.Montalbán,“关于结构跳跃的注释”,in莱克特。票据计算。科学。第5635页,柏林斯普林格-Verlag出版社(2009年),第372-378页·兹比尔1268.03043
[6] Puzarenko,VG,可容许集上的某种可约性,Sib。数学。J.,50,330-340,(2009年)·Zbl 1224.03022号 ·doi:10.1007/s11202-009-0038-z
[7] A.I.Stukachev,“∑度半格的跳跃反演定理”同胞。El.Mat.Izv公司。, 6, 182-190 (2009); http://semr.math.nsc.ru/v6/p182-190.pdf·Zbl 1299.03048号
[8] 蒙塔尔班,A,赖斯系列关系,菲洛斯。事务处理。R.Soc.伦敦,Ser。A、 数学。物理学。工程科学。,370, 3464-3487, (2012) ·Zbl 1329.03072号 ·doi:10.1098/rsta.2011.0333
[9] Goncharov,SS;Harizanov,VS;奈特,JF;McCoy,C;米勒,R;Solomon,R,可计算结构理论中的枚举,Ann.Pure Appl。日志。,136, 219-246, (2005) ·Zbl 1081.03033号 ·doi:10.1016/j.apal.2005.02.001
[10] A.Montalbán,《结构类别的可计算性理论分类》程序。国际数学大会。,ICM 2014(韩国首尔,2014年8月13日至21日),第二卷:特邀报告,孙英章等人(编辑),首尔,KM Kyung Moon Sa(2014),第79-101页·Zbl 1373.03069号
[11] 于。L.Ershov,可定义性和可计算性,Sib。阿尔法学校。日志。[俄语],Nauch。克尼加,新西伯利亚(1996)·Zbl 0856.03039号
[12] 伊斯兰国卡利穆林;Puzarenko,VG,族的可约性,代数与逻辑,48,20-32,(2009)·Zbl 1241.03057号 ·doi:10.1007/s10469-009-9037-1
[13] Faizrahmanov,M;卡里穆林,我;蒙塔尔班,A;Puzarenko,V,(n)-族的最小σ-跳跃反演定理,J.UCS,23,529-538,(2017)
[14] I.N.Soskov,“关于结构阶谱的(ω)跳跃反演的注记”,in莱克特。票据计算。科学。第7921页,柏林斯普林格·弗拉格出版社(2013),第365-370页·Zbl 1433.03111号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。