巴达耶夫,Serikzhan A。;尼古拉·巴热诺夫(Nikolay A.Bazhenov)。;卡尔穆尔扎耶夫(Kalmurzayev),Birzhan S。;马纳特·穆斯塔法 关于等价关系的对角函数。 (英语) Zbl 07832907号 架构(architecture)。数学。逻辑 63,编号3-4,259-278(2024)。MSC公司:03D25号 03天45分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑63,编号3-4259-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公司:03天45分 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半格。 (英语。俄文原件) Zbl 1515.03192号 代数逻辑 60,第4期,284-287(2021); 《代数逻辑学》第60卷第4期第433-437页(2021年)的译文。MSC公司:03天45分 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公司:03天45分 03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,《代数逻辑》59,第3期,201-215(2020;Zbl 1462.03018);《代数逻辑学》第59卷第3期第293--314页的译文(2020年) 全文: 内政部
尤里·安德鲁斯;巴达耶夫,Serikzhan A。 关于可计算可枚举等价关系的同构类。 (英语) 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;兹bl 1452.03092) 全文: 内政部
巴达耶夫,S.A。;Issakhov,A.A。 可计算数的一些绝对性质。 (英语。俄文原件) Zbl 1485.03169号 代数逻辑 57,第4号,275-288(2018); 摘自《代数逻辑》57,第4期,426-447(2018)。MSC公司:03天45分 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公司:03天45分 03日30分 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Badaev}和\textit{A.Sorbi},数学。日志。问62,编号1--2,111-127(2016;Zbl 1361.03043) 全文: 内政部 链接
巴达耶夫,Serikzhan A。;穆斯塔法·马纳;安德里亚·索比 Ershov层次结构中的Friedberg数。 (英语) Zbl 1341.03055号 架构(architecture)。数学。逻辑 54,编号1-2,59-73(2015)。 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03天45分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}等人,Arch。数学。逻辑54,编号1--2,59-73(2015;Zbl 1341.03055) 全文: 内政部 链接
Abeshev,K.施。;巴达耶夫,S.A。;穆斯塔法,M。 没有最少数量的家庭。 (英语。俄文原件) Zbl 1318.03049号 代数逻辑 53,第4期,271-286(2014); 摘自《代数逻辑》53,第4期,427-450(2014)。MSC公司:03天45分 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,第18号,1652--1668(2011;Zbl 1221.03035) 全文: 内政部
巴达耶夫,Serikzhan A。;斯泰芬·伦普 d.c.e.集族的Rogers半格的分解。 (英语) 兹比尔1185.03071 J.塞姆。日志。 74,第2期,618-640(2009)。 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03天45分 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev}和\textit{S.Lempp},J.Symb。日志。74,第2号,618--640(2009;Zbl 1185.03071) 全文: 内政部 链接
巴达耶夫,S.A。 正可计算族的最小计数。 (英语。俄文原件) Zbl 0819.03036号 代数逻辑 33,第3期,131-141(1994); 翻译自代数罗技33,第3期,233-254(1994)。MSC公司:03天45分 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公司:03天45分 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号 03天45分 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Badaev},代数逻辑16,83--98(1978;Zbl 0399.03028) 全文: 内政部