斯里克赞·巴达耶夫。;尼古拉·巴热诺夫(Nikolay A.Bazhenov)。;卡尔穆尔扎耶夫(Kalmurzayev),Birzhan S。;马纳特·穆斯塔法 关于等价关系的对角函数。 (英文) Zbl 07832907号 架构(architecture)。数学。逻辑 63,编号3-4,259-278(2024). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D25号 03D45号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑63,编号3--4,259--278(2024;Zbl 07832907) 全文: 内政部
巴达耶夫,S.A。;Goncharov,S.S。 Ershov层次中元素最少和最多的Rogers半格。 (英语。俄文原件) Zbl 1515.03191号 代数逻辑 61,第3期,225-229(2022); 《代数逻辑学》第61卷第3期第334-340页(2022年)的译文。MSC公司:03D45号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}和\textit{S.S.Goncharov},代数逻辑61,No.3,225--229(2022;Zbl 1515.03191);代数逻辑61,No.3,334--340(2022)的翻译 全文: 内政部
巴达耶夫,S.A。;B.S.卡尔穆尔扎耶夫。;北穆卡什。;穆斯塔法,M。 Ershov层次中的单元素Rogers半格。 (英语。俄文原件) 兹比尔1515.03192 代数逻辑 60,第4期,284-287(2021); 《代数逻辑学》第60卷第4期第433-437页(2021年)的译文。MSC公司:03D45号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,代数逻辑60,No.4,284--287(2021;Zbl 1515.03192);《代数逻辑学》第60卷第4期第433--437页(2021年)的译文 全文: 内政部
巴达耶夫,S.A。;北卡罗来纳州巴兹诺夫。;B.S.卡尔穆尔扎耶夫。 可计算可枚举的前序关系的结构。 (英语。俄文原件) Zbl 1462.03018号 代数逻辑 59,第3期,201-215(2020); 翻译自代数Logika 59,第3期,293-314(2020)。 审核人:约瑟夫·乌利安(圣巴巴拉) MSC公司:03D45号 03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,《代数逻辑59》,第3201-215号(2020;Zbl 1462.03018);《代数逻辑学》第59卷第3期第293--314页的译文(2020年) 全文: 内政部
尤里·安德鲁斯;斯里克赞·巴达耶夫。 关于可计算可枚举等价关系的同构类。 (英文) Zbl 1452.03092号 J.塞姆。日志。 85,编号1,61-86(2020). 审核人:帕特里齐奥·辛蒂奥利(卡梅里诺) MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}和\textit{S.A.Badaev},J.Symb。日志。85,编号1,61--86(2020;Zbl 1452.03092) 全文: 内政部
巴达耶夫,S.A。;Issakhov,A.A。 可计算数的一些绝对性质。 (英语。俄文原件) Zbl 1485.03169号 代数逻辑 57,第4号,275-288(2018); 摘自《代数逻辑》57,第4期,426-447(2018)。MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}和\textit{A.Issakhov},代数逻辑57,No.4,275--288(2018;Zbl 1485.03169);《代数逻辑》57,第4期,426--447(2018)的译文 全文: 内政部
尤里·安德鲁斯;斯里克赞·巴达耶夫;安德烈·索比 通用可计算可枚举等价关系综述。 (英文) Zbl 1485.03146号 Day,Adam(编辑)等人,《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。10010, 418-451 (2017).MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{U.Andrews}等人,Lect。注释计算。科学。10010、418--451(2017;Zbl 1485.03146) 全文: 内政部
斯里克赞·巴达耶夫;安德烈·索比 弱预完成可计算可枚举等价关系。 (英文) Zbl 1361.03043号 数学。日志。问:。 62,编号1-2,111-127(2016). 审核人:梁宇(南京) MSC公司:03D45号 03日30分 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Badaev}和\textit{A.Sorbi},数学。日志。问62,编号1--2,111-127(2016;Zbl 1361.03043) 全文: 内政部 链接
斯里克赞·巴达耶夫。;穆斯塔法·马纳;安德烈·索比 Ershov层次结构中的Friedberg数。 (英文) Zbl 1341.03055号 架构(architecture)。数学。逻辑 54,编号1-2,59-73(2015). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03D45号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑54,编号1--2,59-73(2015;Zbl 1341.03055) 全文: 内政部 链接
阿贝舍夫,K.Sh。;巴达耶夫,S.A。;穆斯塔法,M。 没有最少数量的家庭。 (英语。俄文原件) Zbl 1318.03049号 代数逻辑 53,第4期,271-286(2014); 摘自《代数逻辑》53,第4期,427-450(2014)。MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Sh.Abeshev}等人,《代数逻辑》53,第4期,271--286(2014;Zbl 1318.03049);《代数逻辑》53的译文,第4期,427--450(2014) 全文: 内政部 链接
克劳斯Ambos-Spies;斯里克赞·巴达耶夫;谢尔盖·贡查罗夫 归纳推理和可计算的数字。 (英文) Zbl 1221.03035号 理论。计算。科学。 412,第18期,1652-1668(2011).MSC公司:03D25号 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{K.Ambos-Spies}等人,Theor。计算。科学。412,编号181652-1668(2011年;兹bl 1221.03035) 全文: 内政部
斯里克赞·巴达耶夫。;斯泰芬·伦普 d.c.e.集族的Rogers半格的分解。 (英文) Zbl 1185.03071号 J.塞姆。日志。 74,第2期,618-640(2009). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03D45号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}和\textit{S.Lempp},J.Symb。日志。74,第2号,618--640(2009;Zbl 1185.03071) 全文: 内政部 链接
巴达耶夫,S.A。 正可计算族的最小计数。 (英语。俄文原件) 兹伯利0819.03036 代数逻辑 33,第3期,131-141(1994); 翻译自《代数逻辑》33,第3期,233-254(1994)。MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev},代数逻辑33,No.3,1(1994;Zbl 0819.03036);《代数逻辑学》33,第3期,233--254(1994)的翻译 全文: 内政部 欧洲DML
巴达耶夫,S.A。 正枚举。 (英文) Zbl 0411.03036号 同胞。数学。J。 18, 343-352 (1978).MSC公司:03D45号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev},Sib。数学。J.18,343--352(1978;Zbl 0411.03036) 全文: 内政部
巴达耶夫,S.A。 一般递归函数族的可计算枚举。 (英文) Zbl 0399.03028号 代数逻辑 16, 83-98 (1978).MSC公司:03D25号 03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev},代数逻辑16,83--98(1978;Zbl 0399.03028) 全文: 内政部