阿莱夫，体育。 多项式时间内可计算结构的存在唯一性。 （英语。俄文原件） Zbl 1361.03042号 代数逻辑 55，第1期，72-76（2016）; 《代数逻辑》55的译文，第1期，第106-112页（2016年）。 引用于15文件 MSC公司： 03天45分 计算理论，有效呈现结构 03C57 可计算结构理论 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev}，《代数逻辑》55，第1期，72--76（2016；Zbl 1361.03042）；《代数逻辑》55的译文，第1期，106-112（2016） 全文： 内政部 参考文献： [1] D.Cenzer和J.B.Remmel，“复杂性和分类”，《信息计算》。，140，第1期，2-25页（1998年）·Zbl 0892.68045号 ·doi:10.1006/inco.1997.2676 [2] D.Cenzer和J.Remmel，《多项式时间与递归模型》，Ann.Pure Appl。日志。，54，第1期，17-58（1991）·Zbl 0756.03021号 ·doi:10.1016/0168-0072（91）90008-A [3] D.Cenzer和J.Remmel，“多项式时间阿贝尔群”，Ann.Pure Appl。日志。，56，第1-3、313-363号（1992年）·Zbl 0764.03015号 [4] D.Cenzer和J.B.Remmel，“复杂性理论模型理论和代数”，载于《递归数学手册》第1卷，递归模型理论，《发现逻辑研究》。数学。，138，余。L.Ershov等人（编辑），爱思唯尔，阿姆斯特丹（1998年），第381-513页·Zbl 0941.03035号 [5] E.I.Latkin，“多项式非自动稳定性.代数方法”，摘自《程序设计的逻辑方法》，Vychislitel’nye Systemy，133，新西伯利亚索博列夫数学研究所（1990），第14-37页·Zbl 0754.03026号 [6] E.I.Latkin，“限制线性、多项式和其他类似类算法复杂性的抽象泛函”，载于《Vychislitel’nye Systemy》，165，新西伯利亚索博列夫数学研究所（1999），第84-111页·Zbl 0952.03049号 [7] S.S.Goncharov，“阿贝尔群的算法维”，Proc。第17届All-Union Alg。Conf.，第2部分，明斯克（1983年）。 [8] S.T.Fedoryaev，“1-可构造相对可补分配格上的递归不一致算法问题”，《代数与逻辑》，34，第6期，371-378（1995）·Zbl 0897.03048号 [9] S.T.Fedoryaev，“某些类中模型的代数可约结构宽度的可数性”，Sib。高级数学。，3，第2期，81-103（1993年）·Zbl 0847.03019号 [10] B.M.Khusainov，“一元的算法度”，《代数与逻辑》，27，第4301-312期（1988年）·Zbl 0684.03012号 [11] O.V.Kudinov，“泛域中构造的代数依赖性和可约性”，Tr.Inst.Mat.SO RAN，25，74-81（1993）·Zbl 0849.03024号 [12] D.V.Lytkina，“无限维向量空间的代数非等价构造”，《代数与逻辑》，29，第6期，430-440（1990）·Zbl 0786.03024号 [13] V.A.Uspensky和A.L.Semenov，“算法理论：贡献和应用”，摘自《现代数学算法及其应用》（俄语），第1部分，计算机中心SO AN SSSR，新西伯利亚（1982），第99-342页·Zbl 0583.68008号 [14] V.A.Uspensky和A.L.Semenov，《算法理论：贡献和应用》，Nauka，莫斯科（1987）。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。