罗德尼·G·唐尼。;马修·哈里森·特雷纳;亚历山大·梅尔尼科夫 相对可计算类别。 （英语） Zbl 1496.03153号 程序。美国数学。Soc公司。 149，编号9，3999-4013（2021）。MSC公司：03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}等人，Proc。美国数学。Soc.149，No.9，3999--4013（2021；Zbl 1496.03153） 全文： 内政部
北卡罗来纳州巴兹诺夫。 可计算结构的分类谱。 （英语。俄文原件） Zbl 1485.03105号 数学杂志。科学。，纽约 256，编号1，34-50（2021）; 伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。157, 42-58 (2018). 审核人：安德烈·莫罗佐夫（新西伯利亚） MSC公司：03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Bazhenov}，J.数学。科学。，纽约256，No.1，34--50（2021；Zbl 1485.03105）；伊托基·诺基（Itogi Nauki Tekh.）翻译。，序列号。索夫雷姆。Mat.Prilozh。，特马特。奥巴马。157, 42--58 (2018) 全文： 内政部
医学博士Dorzhieva。;Issakhov，A.A。;卡尔穆尔扎耶夫，B.S。;科尔内夫，R.A。;M.V.科托夫。 某些类中代数结构的准时维。 （英语） Zbl 1491.03027号 Lobachevskii J.数学。 42，第4期，716-725（2021）。MSC公司：03C57 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Dorzhieva}等人，Lobachevskii J.Math。42，编号4，716--725（2021；Zbl 1491.03027） 全文： 内政部
尼古拉·巴热诺夫;谢尔盖·贡查罗夫;亚历山大·梅尔尼科夫 可判定阿贝尔群的分解。 （英语） Zbl 1516.03012号 国际代数计算杂志。 30，第1号，49-90（2020）。MSC公司：03C57 03天45分 20K10码 20公里15 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人，《国际代数计算》。30，第1号，49-90（2020；Zbl 1516.03012） 全文： 内政部
叶卡捷琳娜·福基纳;瓦伦蒂娜·哈里扎诺夫;丹尼尔·特雷茨基 可计算性理论分类和Scott家族。 （英语） 兹比尔1441.03031 Ann.纯粹应用。逻辑 170，第6号，699-717（2019）。 审核人：Jamalbek Tussupov（阿斯塔纳） MSC公司：03天45分 03C57 03天80 PDF格式BibTeX公司 XML格式引用 \textit{E.Fokina}等人，Ann.Pure Appl。逻辑170，No.6，699--717（2019；Zbl 1441.03031） 全文： 内政部
乔·克兰宁;蒂莫西·麦克尼科尔。;唐·M·斯图尔。 解析可计算结构理论和（L^p）空间。 （英语） Zbl 1481.03035号 芬丹。数学。 244，第3期，255-285（2019）。MSC公司：03天45分 03D78号 46个B04 46E30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Clanin}等人，Fundam。数学。244，第3号，255--285（2019；Zbl 1481.03035） 全文： 内政部 arXiv公司
亚历山大·梅尔尼科夫 可计算拓扑群和庞特里亚金对偶。 （英语） Zbl 1522.03174号 事务处理。美国数学。Soc公司。 370，第12号，8709-8737（2018）。MSC公司：03天45分 03C57 03D78号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.Melnikov}，翻译。美国数学。Soc.370，No.12，8709--8737（2018；Zbl 1522.03174） 全文： 内政部
亚历山大·梅尔尼科夫。;Ng，Keng Meng女士 可计算扭阿贝尔群。 （英语） Zbl 1470.03018号 高级数学。 325, 864-907 (2018)。MSC公司：03C57 03C60型 2015年3月1日 20K10码 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Melnikov}和\textit{K.M.Ng}，高级数学。325864-907（2018；Zbl 1470.03018） 全文： 内政部
罗德尼·唐尼;亚历山大·梅尔尼科夫。;Ng，Keng Meng女士 阿贝尔群和停顿问题。 （英语） 兹比尔1402.03067 Ann.纯粹应用。逻辑 167，第11号，1123-1138（2016）。MSC公司：03天45分 03C57 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人，Ann.Pure Appl。逻辑167，No.11123--1138（2016；Zbl 1402.03067） 全文： 内政部
奥斯卡·莱文 有序字段的可计算维度。 （英语） Zbl 1343.03034号 架构（architecture）。数学。逻辑 55，编号3-4，519-534（2016）。 审核人：吕克·贝莱尔（蒙特利尔） MSC公司：03天45分 03C57 12月15日 12升12 PDF格式BibTeX公司 XML格式引用 \textit{O.Levin}，Arch（拱门）。数学。逻辑55，No.3--4，519--534（2016；Zbl 1343.03034） 全文： 内政部
亚历山大·梅尔尼科夫。;Ng，Keng Meng女士 连续函数空间上的可计算结构和运算。 （英语） Zbl 1393.03025号 芬丹。数学。 233，第2期，101-141（2016）。MSC公司：03天45分 03C57 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Melnikov}和\textit{K.M.Ng}，Fundam。数学。233、2号、101--141（2016；Zbl 1393.03025） 全文： 内政部 链接
阿莱夫，体育。 范畴结构上的Ash定理和无穷维的条件。 （英语。俄文原件） Zbl 1375.03051号 代数逻辑 54，第5期，353-369（2015）; 摘自《代数逻辑》54，第5期，551-574（2015）。MSC公司：03天45分 03C57 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Alaev}，代数逻辑54，No.5，353--369（2015；Zbl 1375.03051）；《代数逻辑》54，No.5，551--574（2015）的译文 全文： 内政部
安东尼奥·蒙塔尔班 强壮的斯科特级别。 （英语） Zbl 1386.03053号 程序。美国数学。Soc公司。 143，第12号，5427-5436（2015）。MSC公司：03天45分 03C57 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán}，程序。美国数学。Soc.143，No.12，5427--5436（2015；Zbl 1386.03053） 全文： 内政部 链接
约翰逊，J。;J.F.奈特。;奥卡西奥，V。;托苏波夫，J。;VanDenDriessche，S。 保持关系的明确性和复杂性。 （英语。俄文原件） 兹比尔1337.03065 代数逻辑 54，第2期，140-154（2015）; 摘自《代数逻辑》54，第2期，212-235（2015）。MSC公司：03D60年 03C57 03C35号 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{J.Johnson}等人，《代数逻辑》54，第2期，140-154（2015；Zbl 1337.03065）；《代数逻辑》54的译文，第2期，第212--235页（2015） 全文： 内政部
北卡罗来纳州巴兹诺夫。 Ershov层次中的分支定理和可计算范畴。 （英语。俄文原件） Zbl 1337.03062号 代数逻辑 54，第2期，91-104（2015）; 摘自《代数逻辑》54，第2期，137-157（2015）。MSC公司：03天45分 03C57 03C35号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Bazhenov}，代数逻辑54，No.2，91--104（2015；Zbl 1337.03062）；《代数逻辑》54，No.2，137--157（2015）的译文 全文： 内政部
马修·哈里森·特雷纳;亚历山大·梅尔尼科夫;安东尼奥·蒙塔尔班 可计算代数的独立性。 （英语） Zbl 1386.03051号 J.代数 443441-468（2015年）。MSC公司：03天45分 03C57 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison-Trainor}等人，J.Algebra 443，441--468（2015；Zbl 1386.03051） 全文： 内政部 arXiv公司
罗德尼·G·唐尼。;阿舍·M·卡奇。;斯泰芬·伦普;安德鲁·佩伊（Andrew E.M.Lewis-Pye）。;安东尼奥·蒙塔尔班;丹尼尔·杜雷茨基（Daniel D.Turetsky）。 可计算类别的复杂性。 （英语） Zbl 1345.03063号 高级数学。 268, 423-466 (2015)。MSC公司：03C57 03C35号 03天45分 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}等人，高级数学。268、423——466（2015年；兹bl 1345.03063） 全文： 内政部
北卡罗来纳州巴兹诺夫。 具有可分辨自同态的布尔代数类的可计算数。 （英语。俄文原件） Zbl 1337.03063号 代数逻辑 52，第5期，355-366（2013）; 摘自《代数逻辑》52，第5期，535-552（2013）。MSC公司：03天45分 03C57 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Bazhenov}，代数逻辑52，No.5，355--366（2013；Zbl 1337.03063）；《代数逻辑》52，第5期，535--552（2013）的译文 全文： 内政部
罗德尼·唐尼;亚历山大·梅尔尼科夫。 有效地分类阿贝尔群。 （英语） Zbl 1315.03054号 J.代数 373, 223-248 (2013)。MSC公司：03C57 03C35号 20K20码 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{A.G.Melnikov}，J.代数373，223--248（2013；Zbl 1315.03054） 全文： 内政部
克劳斯Ambos-Spies;斯里克赞·巴达耶夫;谢尔盖·贡查罗夫 归纳推理和可计算的数字。 （英语） Zbl 1221.03035号 西奥。计算。科学。 412，第18期，1652-1668（2011）。MSC公司：03D25号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.Ambos-Spies}等人，Theor。计算。科学。412，第18号，1652--1668（2011；Zbl 1221.03035） 全文： 内政部
亚历山大·梅尔尼科夫。 \（\mathbf 0''）-范畴完全可分解无扭阿贝尔群。 （英语） Zbl 1268.03042号 Ambos-Spies，Klaus（编辑）等人，《数学理论与计算实践》。2009年7月19日至24日，德国海德堡，第五届欧洲可计算性会议，CiE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03072-7/pbk）。计算机科学讲座笔记5635362-371（2009）。MSC公司：03C57 03C35号 20公里15 20K20码 PDF格式BibTeX公司 XML格式引用 \发短信{A.G.Melnikov}，勒克特。注释计算。科学。5635、362--371（2009年；Zbl 1268.03042） 全文： 内政部
韦斯利·卡尔弗特;道格拉斯·森泽;瓦伦蒂娜·S·哈里扎诺夫。;安德烈·莫罗佐夫 阿贝尔群的有效分类。 （英语） Zbl 1177.03046号 Ann.纯粹应用。逻辑 159，第1-2期，187-197（2009）。 审核人：Marat M.Arslanov（喀山） MSC公司：03天45分 03C57 PDF格式BibTeX公司 XML格式引用 \textit{W.Calvert}等人，Ann.Pure Appl。逻辑159，No.1--2，187--197（2009；Zbl 1177.03046） 全文： 内政部 arXiv公司
韦斯利·卡尔弗特;道格拉斯·森泽;瓦伦蒂娜·哈里扎诺夫;安德烈·莫罗佐夫 等价结构的有效分类。 （英语） Zbl 1103.03037号 Ann.纯粹应用。逻辑 141，编号1-2，61-78（2006）。 审核人：Marat M.Arslanov（喀山） MSC公司：03C57 PDF格式BibTeX公司 XML格式引用 \textit{W.Calvert}等人，Ann.Pure Appl。逻辑141，编号1--2，61-78（2006；Zbl 1103.03037） 全文： 内政部 arXiv公司
查尔斯·F·D·麦考伊。 \布尔代数和线性序中的（Delta_{2}^{0}）-范畴。 （英语） Zbl 1016.03036号 Ann.纯粹应用。逻辑 119，编号1-3，85-120（2003）。MSC公司：03C57 03天45分 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{C.F.D.McCoy}，Ann.纯粹应用。逻辑119，编号1--3，85-120（2003；Zbl 1016.03036） 全文： 内政部
丹尼斯·赫希费尔特。 固有c.e.关系的度谱。 （英语） Zbl 0988.03065号 J.塞姆。日志。 66，第2期，441-469（2001）。MSC公司：03天45分 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Hirschfeldt}，J.Symb。日志。66，编号2441-469（2001年；Zbl 0988.03065） 全文： 内政部
巴哈迪尔·库萨诺夫;理查德·肖尔（Richard A.Shore）。 可计算同构、关系的度谱和Scott族。 （英语） Zbl 0927.03072号 Ann.纯粹应用。逻辑 93，第1-3号，153-193（1998）; 勘误表同上，第98号，第1-3、297-298（1999年）。MSC公司：03天45分 03C57 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{B.Khousainov}和\textit{R.A.Shore}，Ann.Pure Appl。逻辑93，No.1--3，153--193（1998；Zbl 0927.03072） 全文： 内政部
马丁·库默 递归函数类的学习理论表征。 （英语） Zbl 0875.68271号 信息处理。莱特。 54，第4期，205-211（1995）。MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kummer}，Inf.流程。莱特。54，第4号，205--211（1995；Zbl 0875.68271） 全文： 内政部
巴哈迪尔·库萨诺夫 递归一元代数和树。 （英语） Zbl 0804.03031号 Ann.纯粹应用。逻辑 67，编号1-3，213-268（1994）。 审核人：R.Downey（惠灵顿） MSC公司：03天45分 08年60月 03C57 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov}，Ann.纯粹应用。逻辑67，编号1--3，213--268（1994；Zbl 0804.03031） 全文： 内政部
Goncharov，S.S。 模型弱构造的有效无穷类。 （英语。俄文原件） Zbl 0824.03013号 代数逻辑 32，第6期，342-360（1993）; 《代数逻辑学》32，第6期，631-664（1993）的译文。 审核人：A.S.莫罗佐夫（新西伯利亚） MSC公司：03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}，代数逻辑32，No.6，631--664（1993；Zbl 0824.03013）；《代数逻辑学》第32卷第6期第631-664页（1993）的译文 全文： 内政部
O.V.库迪诺夫。 1-可判定模型的自动稳定性准则。 （英语。俄文原件） Zbl 0795.03048号 代数逻辑 31，第5期，284-292（1992）; 翻译自代数罗技31，第5期，479-492（1992）。MSC公司：03C57 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{O.V.Kudinov}，代数逻辑31，No.5，1（1992；Zbl 0795.03048）；《代数逻辑学》第31卷第5期第479--492页（1992）的译文 全文： 内政部
库萨诺夫，B.M。 模型同态图像的算法维数。 （英语。俄文原件） 兹伯利0795.03047 代数逻辑 31195-203年第3期（1992年）; 《代数逻辑学》31，第3期，319-333（1992）的译文。MSC公司：03C57 PDF格式BibTeX公司 XML格式引用 \textit{B.M.Khusainov}，《代数逻辑》31，第3期，第1页（1992；Zbl 0795.03047）；《代数逻辑学》31，第3期，319-333（1992）的翻译 全文： 内政部
库萨诺夫，B.M。 非参数的算法程度。 （英语。俄文原件） Zbl 0684.03012号 代数逻辑 27，第4号，301-312（1988）; 《代数罗技卡》第27卷第4期第479-494页（1988年）的翻译。MSC公司：03C57 03天45分 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{B.M.Khusainov}，《代数逻辑》27，第4期，301-312（1988；Zbl 0684.03012）；《代数逻辑学》27，第4期，479--494（1988）的译文 全文： 内政部
于文佐夫（Yu Ventsov）。G.公司。 模型的非一致自稳定性。 （英语。俄文原件） Zbl 0667.03025号 代数逻辑 26，第6期，422-440（1987）; 摘自《代数逻辑》26，第6期，684-714（1987）。MSC公司：03C57 03天45分 PDF格式BibTeX公司 XML格式引用 \textit｛Yu.G.Ventsov｝，《代数逻辑26》，第6期，第422-440页（1987年；Zbl 0667.03025）；《代数逻辑学》26，第6期，684--714（1987）的译文 全文： 内政部
迈克尔·摩西 具有递归连续性的递归线性阶。 （英语） Zbl 0572.03025号 Ann.纯粹应用。逻辑 27, 253-264 (1984)。 审核人：P.克洛特 MSC公司：03天45分 03C57 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{M.摩西}，安。纯苹果。逻辑27253--264（1984；Zbl 0572.03025） 全文： 内政部
Dobritsa，V.P.公司。 构造模型的索引集的复杂性。 （英语） Zbl 0545.03016号 代数逻辑 22, 269-276 (1983)。MSC公司：03C57 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Dobritsa}，代数逻辑22，269--276（1983；Zbl 0545.03016） 全文： 内政部
德兹戈耶夫。 代数系统直积的构造。 （英语） 兹伯利0531.03015 代数逻辑 21, 88-96 (1983)。MSC公司：03C57 08A99号 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{V.D.Dzgoev}，代数逻辑21，88--96（1983；Zbl 0531.03015） 全文： 内政部