玛丽安·马利亚利斯;萨拉、撒哈拉 图灵度和凯斯勒阶。 (英语) Zbl 07827892号 J.塞姆。日志。 89,编号1,331-341(2024).MSC公司:03C20号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.Malliaris}和\textit{S.Shelah},J.Symb。日志。89,编号1,331--341(2024;Zbl 07827892) 全文: 内政部 OA许可证
李明阳;简·雷曼 连续测度的图灵度和随机性。 (英语) Zbl 07790930号 拱门。数学。逻辑 63,编号1-2,39-59(2024). 审核人:梁羽(南京) MSC公司:03天32分 03D25号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}和\textit{J.Reimann},Arch。数学。逻辑63,编号1--2,39-59(2024;Zbl 07790930) 全文: 内政部 arXiv公司
斯特芬·勒普;刘一群;刘、勇;Ng,Keng Meng女士;彭,程;吴国华 d.c.e.Turing度的有限最终段。 arXiv公司:2403.04254 预打印,arXiv:2403.04254[math.LO](2024)。MSC公司:03D28号 BibTeX公司 引用 \textit{S.Lempp}等人,“d.c.e.图灵度的有限尾段”,预印本,arXiv:240304254[math.LO](2024) 全文: arXiv公司 OA许可证
刘德斯蒙德 语言片断的强迫、Namba强迫的扩展以及口译中的限制理论模型。 arXiv公司:2402.01213 预打印,arXiv:2402.01213[math.LO](2024)。MSC公司:03E40型 03D28号 BibTeX公司 引用 \textit{D.Lau},“语言片段的强迫,扩展Namba强迫,以及解释中有约束的理论模型”,预印本,arXiv:2402.01213[math.LO](2024) 全文: arXiv公司 OA许可证
韦斯利·卡尔弗特;纽约州约翰·富兰克林。;丹·特雷茨基 结构高度概念。 (英语) Zbl 07781920号 J.塞姆。日志。 88,第4期,1692-1724(2023).MSC公司:03C57 03D28号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Calvert}等人,J.Symb。日志。88,编号4,1692---1724(2023;Zbl 07781920) 全文: 内政部 arXiv公司
彭银河;吴刘珍;于,梁 ({\text{TD}})和({\text{sTD}}\)的一些结果。 (英语) Zbl 07781914号 J.塞姆。日志。 88,第4期,1573-1589(2023).MSC公司:03D28号 03E05号 03E15年 03E25型 03E60年 28A80型 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Peng}等人,J.Symb。日志。88,编号4,1573-1589(2023;Zbl 07781914) 全文: 内政部 arXiv公司
安东·戈洛夫;塞巴斯蒂安·特维恩。 部分组合代数之间的嵌入。 (英语) Zbl 07690435号 圣母院J.形式逻辑 64,第1号,129-158(2023).MSC公司:03B40型 03D28号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.Golov}和\textit{S.A.Terwijn},圣母院J.形式逻辑64,No.1,129--158(2023;Zbl 07690435) 全文: 内政部 arXiv公司
阿舒托什·库马尔;萨拉、撒哈拉 大型图灵独立集。 (英语) Zbl 07615404号 程序。美国数学。Soc公司。 151,编号1,355-367(2023).MSC公司:03E35号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kumar和\textit{S.Shelah},程序。美国数学。Soc.151,No.1,355--367(2023;Zbl 07615404) 全文: 内政部
小野洋一;帕特里克·卢茨 关于一个麻袋猜想的注记:嵌入高度三个偏序比嵌入高度二个偏序更难。 arXiv:2309.01876 预印本,arXiv:2309.01876[math.LO](2023)。MSC公司:03D28号 03E15年 03E25型 03E35号 03E60年 BibTeX公司 引用 \textit{K.Higuchi}和\textit{P.Lutz},“关于麻袋猜想的注记:嵌入高度三个偏序比嵌入高度二个偏序更难”,预印本,arXiv:2309.01876[math.LO](2023) 全文: arXiv公司 OA许可证
彼得·格德斯 最小算术次数的(Pi^0_2)单点。 arXiv:2308.12102 预打印,arXiv:2308.12102[math.LO](2023)。MSC公司:03D28号 03日30分 03D60年 BibTeX公司 引用 \textit{P.Gerdes},``A$\Pi^0_2$最小算术次数的单点'',预打印,arXiv:2308.12102[math.LO](2023) 全文: arXiv公司 OA许可证
塞巴斯蒂安·特维恩(Sebastian A.Terwijn)。 部分组合代数中完备的复杂性。 arXiv:2307.12685 预打印,arXiv:2307.12685[math.LO](2023)。MSC公司:03D28号 03D45号 03天80 BibTeX公司 引用 \textit{S.A.Terwijn},“部分组合代数中补全的复杂性”,Preprint,arXiv:2307.12685[math.LO](2023) 全文: arXiv公司 OA许可证
马修·哈里森·特雷纳;刘璐;帕特里克·卢茨 将信息编码到稠密集的所有无限子集中。 arXiv:2306.01226 预打印,arXiv:2306.01226[math.LO](2023)。MSC公司:03D28号 03天32分 68问题30 BibTeX公司 引用 \textit{M.Harrison Trainor}等人,“将信息编码到稠密集的所有无限子集中”,预印本,arXiv:2306.01226[math.LO](2023) 全文: arXiv公司 OA许可证
A.I.塔利波娃。;M.M.亚马列夫。 向下密度的非均匀性,以可计算的可枚举图灵度表示。 (英语。俄文原件) Zbl 07712850号 俄罗斯数学。 66,编号11,110-115(2022); Izv的翻译。维什。乌切布。扎韦德。,材料2022,编号11,124-131(2022)。MSC公司:03D28号 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Talipova}和\textit{M.M.Yamaleev},俄罗斯数学。66,编号11,110-115(2022;Zbl 07712850);Izv的翻译。维什。乌切布。扎韦德。,材料2022,编号11,124--131(2022) 全文: 内政部
罗德·唐尼;马修·哈里森·特雷纳 最低速度设置。 (英语) Zbl 07620706号 J.塞姆。日志。 87,第4期,1693-1728(2022).MSC公司:03D28号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{M.Harrison-Trainor},J.Symb。日志。87,第4号,1693-1728(2022;Zbl 07620706) 全文: 内政部 arXiv公司
乔西亚·雅各布森·格洛科特 强(eta)可表示多个度的特征。 (英语) Zbl 1514.03047号 J.塞姆。日志。 87,第4期,1631-1642(2022). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03C57 03D45号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{J.Jacobsen-Grocott},J.Symb。日志。87,第4号,1631-1642(2022;Zbl 1514.03047) 全文: 内政部
弗兰克·斯蒂芬;吴国华;袁博文 薄(\Pi_1^0)类和普通学位的成员。 (英语) Zbl 1507.03095号 程序。美国数学。Soc公司。 150,第7期,3125-3131(2022). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{F.Stephan}等人,Proc。美国数学。Soc.150,No.7,3125--3131(2022;Zbl 1507.03095) 全文: 内政部 arXiv公司
瑞秋·D·斯塔尔。 可计算性和图上的警察和强盗游戏。 (英语) Zbl 1491.05134号 拱门。数学。逻辑 61,编号3-4,373-397(2022).MSC公司:05第57页 05C63号 91A43型 91A24型 2015年3月1日 03D20日 03D25号 03D28号 03D50型 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Stahl},拱门。数学。逻辑61,编号3--4,373--397(2022;Zbl 1491.05134) 全文: 内政部
迈克尔·麦金纳尼;Ng,Keng Meng女士 分离弱\(\α\)-变化和\(\ alpha\)-改变通用性。 (英语) Zbl 1509.03126号 Ann.纯粹应用。逻辑 173,第7号,文章ID 103134,31 p.(2022). 审核人:马蒂奥·比安切蒂(圣母院) MSC公司:03D25号 03D55号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.McInerney}和\textit{K.M.Ng},Ann.Pure Appl。逻辑173,第7号,文章ID 103134,31页(2022;Zbl 1509.03126) 全文: 内政部
鲁伯特·Hölzl;克里斯托弗·波特。 随机可计算度。 (英语) Zbl 1497.03056号 牛市。符号。日志。 28,编号1,27-70(2022). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03天32分 03日30分 2008年3月28日 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hölzl}和\textit{C.P.Porter},公牛。符号。日志。28,编号1,27--70(2022;Zbl 1497.03056) 全文: 内政部 arXiv公司
于,梁 关于相对化Chaitin’s(\Omega\)的更多结果。 arXiv公司:2203.07576 预打印,arXiv:2203.07576[math.LO](2022)。MSC公司:03D28号 03天32分 03E15年 03E60年 68问题30 BibTeX公司 引用 \textit{L.Yu},“关于相对化Chaitin的$\Omega$的更多结果”,Preprint,arXiv:2203.07576[math.LO](2022) 全文: arXiv公司 OA许可证
彭,程 规范化Ershov层次结构中的符号。 (英语) Zbl 1521.03120号 数学。日志。问:。 67,编号4,506-513(2021).MSC公司:03D28号 03D25号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{C.Peng},数学。日志。问67,第4号,506--513(2021;Zbl 1521.03120) 全文: 内政部
艾哈迈特·切维克 没有连接属性的有效闭合集。 (英语) Zbl 1521.03118号 数学。日志。问:。 67,第3号,313-320(2021).MSC公司:03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Joevik},数学。日志。企67、3号、313--320(2021;Zbl 1521.03118) 全文: 内政部
巴提尔辛,I.I。 渐近密度和可计算性。 (英语。俄文原件) Zbl 1496.03168号 俄罗斯数学。 65,编号10,1-9(2021); Izv的翻译。维什。乌切布。扎韦德。,材料2021,编号10,3-14(2021)。MSC公司:03D25号 03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Batyrshin},俄罗斯数学。65,编号10,1--9(2021;兹bl 1496.03168);Izv的翻译。维什。乌切布。扎韦德。,材料2021,编号10,3-4(2021) 全文: 内政部
保罗·沙弗;塞巴斯蒂安·特维恩。 部分组合代数的序分析。 (英语) Zbl 1509.03128号 J.塞姆。日志。 86,第3期,1154-1188(2021).MSC公司:03D28号 03B40型 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Shafer}和\textit{S.A.Terwijn},J.Symb。日志。86,第3号,1154--1188(2021;Zbl 1509.03128) 全文: 内政部 arXiv公司
Goncharov,S.S。;M.I.Marchuk。 完整公式具有无限解的模型的可判定分类程度。 (英语。俄文原件) Zbl 1515.03162号 代数逻辑 60,第3期,200-206(2021); 《代数逻辑60》第3期第303-312页(2021年)的译文。MSC公司:03C57 03D45号 03C35号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}和\textit{M.I.Marchuk},代数逻辑60,No.3,200--206(2021;Zbl 1515.03162);《代数逻辑学》第60卷第3期第303--312页的译文(2021年) 全文: 内政部
阿基里斯·A·贝罗斯。;Konstantinos A.贝罗斯。 典型免疫和泛型。 (英语) Zbl 1529.03218号 芬丹。数学。 254,第3期,241-259(2021).MSC公司:03D28号 03天32分 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Beros}和\textit{K.A.Beros{,Fundam。数学。254,第3号,241--259(2021;Zbl 1529.03218) 全文: 内政部 arXiv公司
赫里斯托·甘切夫;安德烈·萨里耶夫(Andrey C.Sariev)。 枚举度中跳算子的自同构群和可定义性。 (英语) Zbl 07417491号 拱门。数学。逻辑 60,编号7-8,909-925(2021).MSC公司:2008年3月28日 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{H.Ganchev}和\textit{A.C.Sariev},拱门。数学。逻辑60,编号7--8909--925(2021;Zbl 07417491) 全文: 内政部
伯努瓦·莫宁;安德烈·涅斯 Muchnik等级和基本特征。 (英语) Zbl 1485.03160号 J.塞姆。日志。 86,编号2,471-498(2021). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03日30分 03D28号 03E17年 03天80 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin}和\textit{A.Nies},J.Symb。日志。86,编号2,471--498(2021;Zbl 1485.03160) 全文: 内政部 arXiv公司
彭银河;于,梁 TD暗示\(\操作员姓名{抄送}_{\mathbb{R}}\)。 (英语) Zbl 07415169号 高级数学。 384,文章ID 107755,第7页(2021).MSC公司:03D28号 03E15年 03E25型 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Peng}和\textit{L.Yu},高级数学。384,文章ID 107755,7 p.(2021;Zbl 07415169) 全文: 内政部 arXiv公司
诺姆·格林伯格;马修·哈里森·特雷纳;卢多维奇·佩蒂;丹·图雷茨基 计算来自所有无限子集的集合。 (英语) Zbl 1485.03158号 事务处理。美国数学。Soc公司。 374,编号11,8131-8160(2021). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,Trans。美国数学。Soc.374,No.11,8131--8160(2021;Zbl 1485.03158) 全文: 内政部 arXiv公司 哈尔
M.M.阿尔斯兰诺夫。;M.M.亚马列夫。 图灵可计算性:结构理论。 (英语。俄文原件) Zbl 07364536号 数学杂志。科学。,纽约 256,编号1,1-33(2021); 翻译自伊托基·诺基(Itogi Nauki Tekh.)。,序列号。索夫雷姆。Mat.Prilozh。,特马特。奥巴马。157, 8-41 (2018).MSC公司:03C57 03D25号 03D28号 03D45号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Arslanov}和\textit{M.Yamaleev},J.Math。科学。,纽约256,编号1,1-33(2021;Zbl 07364536);翻译自伊托基·诺基(Itogi Nauki Tekh.)。,序列号。索夫雷姆。Mat.Prilozh。,特马特。奥巴马。157, 8--41 (2018) 全文: 内政部
阿舒托什·库马尔;迪利普·拉加万 图灵度的分离族和序维数。 (英语) Zbl 1506.03099号 Ann.纯粹应用。逻辑 172,第5号,文章ID 102911,19页(2021).MSC公司:04年3月 03E05号 03E35号 03D28号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kumar}和\textit{D.Raghavan},Ann.纯粹应用。逻辑172,第5号,文章ID 102911,19页(2021;Zbl 1506.03099) 全文: 内政部
伊凡·翁盖·瓦尔弗德;保罗·特维特 基本特征的可计算类比:预测和重排。 (英语) Zbl 1498.03094号 Ann.纯粹应用。逻辑 172,第1号,文章ID 102872,23 p.(2021).MSC公司:03D28号 2017年3月 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ongay-Valverde}和\textit{P.Tveite},Ann.Pure Appl。逻辑172,第1号,文章ID 102872,23页(2021;Zbl 1498.03094) 全文: 内政部 arXiv公司
丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;卡尔·乔库什。;Paul E.舒普。 粗可计算性、密度度量、图灵度之间的豪斯道夫距离、完美树和逆向数学。 arXiv:2106.1118 预打印,arXiv:2106.13118[math.LO](2021)。MSC公司:03D28号 03B30型 03D25号 03天32分 35楼03号 10年5月 BibTeX公司 引用 \textit{D.R.Hirschfeldt}等人,“粗糙可计算性,密度度量,图灵度之间的Hausdorff距离,完美树,和逆向数学”,预打印,arXiv:2106.13118[math.LO](2021) 全文: arXiv公司 OA许可证
海登·R·贾南坦。;斯蒂芬·G·辛普森。 特殊r.b.(\Pi^0_1)类中的伪跳跃反演。 arXiv:2102.06135 预打印,arXiv:2102.06135[math.LO](2021)。MSC公司:03D28号 03日30分 03天32分 03天35分 BibTeX公司 引用 \textit{H.R.Jananthan}和\textit{S.G.Simpson},“特殊R.b.$\Pi^0_1$类中的伪跳跃反转”,预打印,arXiv:2102.06135[math.LO](2021) 全文: arXiv公司 OA许可证
刘、勇;彭,程 Ershov层次的超限层次之间的弱密度和非密度。 (英语) Zbl 1486.03071号 圣母院J.形式逻辑 61,第4期,521-536(2020年).MSC公司:03D28号 03D25号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}和\textit{C.Peng},圣母院J.形式逻辑61,No.4,521--536(2020;Zbl 1486.03071) 全文: 内政部
玛丽亚·索斯科娃 枚举度、可定义性和自同构的理论。 (英语) Zbl 1505.03087号 阿德里安·雷祖什(编辑),《当代逻辑与计算》。伦敦:学院出版物。朗诗。日志。1, 706-730 (2020).MSC公司:03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.Soskova},朗诗出版社。日志。1706--730(2020年;Zbl 1505.03087)
M.M.亚马列夫。 以2个可计算的可枚举度从侧面隔离。 (英语。俄文原件) Zbl 1454.03051号 俄罗斯数学。 64,第8号,70-73(2020年); Izv的翻译。维什。乌切布。扎韦德。,材料2020,第8号,81-86(2020)。MSC公司:03D25号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Yamaleev},俄罗斯数学。64,第8号,70-73(2020;Zbl 1454.03051);Izv的翻译。维什。乌切布。扎韦德。,材料2020,编号8,81-86(2020) 全文: 内政部
R.D.迪米特洛夫。;V·哈里扎诺夫。;莫罗佐夫,A.S。 子结构格的图灵度和自同构群。 (英语。俄文原件) Zbl 1484.03076号 代数逻辑 59,第1号,18-32(2020年); 《代数逻辑》59,第1期,第27-47页(2020年)的译文。MSC公司:03D28号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Dimitrov}等人,《代数逻辑》59,第1期,18-32(2020;Zbl 1484.03076);《代数逻辑学》第59卷第1期、第27卷第47页的译文(2020年) 全文: 内政部 arXiv公司
北卡罗来纳州巴兹诺夫。;卡里穆林,I.Sh。;M.M.亚马列夫。 分类度强,密度弱。 (英语) Zbl 1486.03062号 Lobachevskii J.数学。 41,第9期,1630-1639(2020).MSC公司:03C57 03D45号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Bazhenov}等人,Lobachevskii J.Math。41,第9号,1630--1639(2020;Zbl 1486.03062) 全文: 内政部
马修·德·布莱希特;阿诺·保利;马蒂亚斯·施罗德 公开选择。 (英语) Zbl 1485.03152号 可计算性 第9期,第3-4期,169-191(2020).MSC公司:03D28号 03日30分 03层60 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht}等人,可计算性9,No.3--4,169--191(2020;Zbl 1485.03152) 全文: 内政部 arXiv公司
维托里奥·巴德 统一马丁猜想,局部。 (英语) Zbl 1485.03151号 程序。美国数学。Soc公司。 148,编号12,5369-5380(2020).MSC公司:03D28号 03E15年 03E60年 PDF格式BibTeX公司 XML格式引用 \textit{V.Bard},程序。美国数学。Soc.148,No.12,5369--5380(2020;Zbl 1485.03151) 全文: 内政部 arXiv公司
尼古拉·巴热诺夫;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;Ng,Keng Meng女士 有限生成结构的在线演示。 (英语) Zbl 1464.68443号 西奥。计算。科学。 844, 195-216 (2020).MSC公司:68周27 03D20日 03D28号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,Theor。计算。科学。844195-216(2020年;Zbl 1464.68443) 全文: 内政部
彼得·格德斯 一个\(\omega\)-REA集与0'形成极小对。 (英语) Zbl 1460.03012号 可计算性 9,第1号,37-50(2020). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D28号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Gerdes},可计算性9,第1期,37--50(2020;Zbl 1460.03012) 全文: 内政部 arXiv公司
Ng,Keng Meng女士;于洪源 有效统治和有界跳跃。 (英语) Zbl 1461.03035号 圣母院J.形式逻辑 61,第2期,203-225(2020). 审核人:帕特里齐奥·辛蒂奥利(卡梅里诺) MSC公司:03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Ng}和\textit{H.Yu},圣母院J.形式逻辑61,No.2,203--225(2020;Zbl 1461.03035) 全文: 内政部 欧几里得
Terwijn,Sebastian A。 Arslanov完备性判据及相关定理的无效性。 (英语) Zbl 1481.03032号 拱门。数学。逻辑 59,编号5-6,703-713(2020).MSC公司:03D25号 03D28号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn},拱门。数学。逻辑59,编号5--6,703--713(2020;Zbl 1481.03032) 全文: 内政部 arXiv公司
诺姆·格林伯格;约瑟夫·米勒。;安德烈·涅斯 根据随机点的投影进行计算。 (英语) Zbl 1467.03013号 数学杂志。日志。 20,第1号,文章ID 1950014,41 p.(2020). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03天32分 68问题30 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,J.Math。日志。20,第1号,文章ID 1950014,41页(2020;Zbl 1467.03013) 全文: 内政部 arXiv公司
罗德尼·G·唐尼。;Ng,Keng Meng女士;里德·所罗门 最小弱真值表度和可计算可枚举图灵度。 (英语) Zbl 1460.03002号 美国数学学会回忆录1284.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-4162-3/pbk;978-1-4740-6136-2/电子书)。vii,90页。(2020年)。 审核人:帕特里齐奥·辛蒂奥利(卡梅里诺) MSC公司:03-02 03D25号 03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}等人,最小弱真值表度和可计算枚举图灵度。普罗维登斯,RI:美国数学学会(AMS)(2020;Zbl 1460.03002) 全文: 内政部
亚历山大·梅尔尼科夫。;维克托·塞利瓦诺夫。;Mars M.亚马列夫。 精细层次中的图灵可约性。 (英语) Zbl 1471.03067号 Ann.纯粹应用。逻辑 171,第7期,文章ID 102766,16页(2020年). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D28号 03D55号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Melnikov}等人,Ann.Pure Appl。逻辑171,第7号,文章ID 102766,16页(2020;Zbl 1471.03067) 全文: 内政部
纽约州约翰·富兰克林。;里德·所罗门 同构、可数理想和可计算可追溯性的低级。 (英语) Zbl 1521.03119号 数学。日志。问:。 66,第1期,104-114(2020年).MSC公司:03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Y.Franklin}和\textit{R.Solomon},数学。日志。问66,第1号,104--114(2020;Zbl 1521.03119) 全文: 内政部 arXiv公司
小野洋一;斯特芬·勒普;迪利普·拉加万;弗兰克·斯蒂芬 关于局部可数偏序的序维数。 (英语) Zbl 1481.06001号 程序。美国数学。Soc公司。 148,第7期,2823-2333(2020).MSC公司:06年06月06日 04年3月 03E05号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{K.Higuchi}等人,Proc。美国数学。Soc.148,No.7,2823--2833(2020;Zbl 1481.06001) 全文: 内政部 arXiv公司
阿诺·保利 关于Weihrauch复杂性的更新,以及一些开放性问题。 arXiv:2008.1168号 预印本,arXiv:2008.1168[cs.LO](2020)。MSC公司:03D78号 03D28号 BibTeX公司 引用 \textit{A.Pauly},“Weihrauch复杂性的更新,以及一些开放性问题”,预印本,arXiv:2008.11168[cs.LO](2020) 全文: arXiv公司 OA许可证
王伟 不可数标准系统的非标准算法模型。 arXiv:2007.05885号 预印本,arXiv:2007.05885[math.LO](2020)。MSC公司:03C62号 2015年上半年03日 03D28号 03E50型 BibTeX公司 引用 \textit{W.Wang},“关于不可数标准系统的非标准算术模型”,预印本,arXiv:2007.05885[math.LO](2020) 全文: arXiv公司 OA许可证
沃尔夫冈·默克尔;于,梁 在序列和其他地方处于低位。 (英语) Zbl 1443.03023号 J.塞姆。日志。 84,第2号,497-516(2019). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03天32分 68问题30 03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{W.Merkle}和\textit{L.Yu},J.Symb。日志。84,第2号,497--516(2019;Zbl 1443.03023) 全文: 内政部
Goncharov,S.S。;R·米勒。;V·哈里扎诺夫。 几乎素数模型完备公式的图灵度。 (英语。俄文原件) 兹比尔1485.03112 代数逻辑 58,第3期,282-287(2019); 摘自《代数逻辑》58,第3期,417-425(2019)。MSC公司:03C57 03D28号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Goncharov}等人,《代数逻辑》58,第3期,282--287(2019年;Zbl 1485.03112);《代数逻辑》58,No.3,417--425(2019)的译文 全文: 内政部
Ng,Keng Meng女士;于洪源 关于可计算可约性下等价关系的度结构。 (英语) Zbl 1472.03039号 圣母院J.形式逻辑 60,第4期,733-761(2019).MSC公司:03D28号 03D45号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{K.M.Ng}和\textit{H.Yu},圣母院J.形式逻辑60,No.4,733--761(2019;Zbl 1472.03039) 全文: 内政部 欧几里得 链接
纽约州约翰娜·富兰克林。;丹·特雷茨基 选择可计算的路径。 (英语) Zbl 1444.03139号 J.日志。计算。 29,第6号,969-973(2019).MSC公司:03D45号 03D25号 03D28号 03C57 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Y.Franklin}和\textit{D.Turetsky},J.Log。计算。29,第6号,969--973(2019;Zbl 1444.03139) 全文: 内政部 arXiv公司
克里斯托弗·波特。 伯努利随机性的有效方面。 (英语) Zbl 1444.03137号 J.日志。计算。 29,第6期,933-946(2019).MSC公司:03天32分 03D28号 60G42型 60克57 PDF格式BibTeX公司 XML格式引用 \textit{C.P.波特},J.洛格。计算。29,第6号,933--946(2019;Zbl 1444.03137) 全文: 内政部 arXiv公司
伊凡·翁盖·瓦尔弗德;诺亚·施韦伯 有效的本地化编号:建筑物\(k\)-存活度。 (英语) Zbl 1480.03045号 可计算性 8,编号3-4,389-398(2019).MSC公司:03E17年 03E35号 03日30分 03D28号 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{I.Ongay Valverde}和\textit{N.Schweber},可计算性8,编号:3-4389-398(2019;Zbl 1480.03045) 全文: 内政部 arXiv公司
马修·哈里森·特雷纳;巴赫库萨诺夫;丹尼尔·特雷茨基 算法随机结构的有效方面。 (英语) Zbl 1459.03063号 可计算性 8,编号3-4,359-375(2019).MSC公司:03天32分 03D45号 03C57 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{M.Harrison Trainor}等人,《可计算性8》,编号:3-4359-375(2019;兹bl 1459.03063) 全文: 内政部
诺姆·格林伯格;罗格斯·库珀;丹·特雷茨基 基数不变量、非低阶类和Weihrauch可约性。 (英语) Zbl 1480.03043号 可计算性 8,编号3-4,305-346(2019).MSC公司:03E17年 03日30分 03D28号 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,可计算性8,No.3--4,305-346(2019;Zbl 1480.03043) 全文: 内政部
叶卡捷琳娜·福基纳;迪诺·罗塞格;卢卡·圣毛罗 测量等价关系之间约简的复杂性。 (英语) Zbl 1454.03056号 可计算性 8,编号3-4,265-280(2019). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03D45号 03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{E.Fokina}等人,《可计算性8》,第3-4期,265--280页(2019年;Zbl 1454.03056) 全文: 内政部 arXiv公司
Timothy H.麦克尼科尔。;唐纳德·斯图尔。 可计算的\(\ell^{p1}\)副本的等距度。 (英语) Zbl 1480.03033号 可计算性 8,第2期,179-189(2019).MSC公司:03D78号 03D45号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl}和\textit{D.M.Stull},可计算性8,第2期,179--189(2019年;Zbl 1480.03033) 全文: 内政部 arXiv公司
埃里克·阿斯托。;丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。;乔库什,卡尔·G·军。 密集可计算性、上锥和最小对。 (英语) Zbl 1454.03052号 可计算性 8,第2期,155-177(2019). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03日30分 03D25号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Astor}等人,《可计算性8》,第2155-177号(2019年;兹bl 1454.03052) 全文: 内政部 arXiv公司
罗德尼·G·唐尼。;萨蒂亚德夫·南达库马尔 限定最小度的弱2-泛型。 (英语) Zbl 1444.03135号 J.塞姆。日志。 84,第4期,1326-1347(2019). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03日30分 03D25号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}和\textit{S.Nandakumar},J.Symb。日志。84,第4号,1326-1347(2019;Zbl 1444.03135) 全文: 内政部
安东尼奥·蒙塔尔班 马丁猜想:对自然发生的图灵度的分类。 (英语) Zbl 1423.03143号 美国数学通告。Soc公司。 66,第8期,1209-1215(2019).MSC公司:03D28号 03E15年 03E60年 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montalbán},《数学注意事项》。Soc.66,No.8,1209--1215(2019;Zbl 1423.03143) 全文: 内政部
吴国华;吴惠山 有界跳跃和高/低层次。 (英语) Zbl 1528.03178号 Gopal,T.V.(编辑)等人,《计算模型的理论和应用》。2019年4月13日至16日,日本北九州TAMC 2019第15届年会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11436, 647-658 (2019).MSC公司:03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{G.Wu}和\textit{H.Wu},Lect。注释计算。科学。11436647--658(2019年;Zbl 1528.03178) 全文: 内政部
Laurent Bienvenu;克里斯托弗·波特。 关于随机性和一般性的有效概念之间的相互作用。 (英语) Zbl 1445.03049号 J.塞姆。日志。 84,第1号,393-407(2019). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03天32分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bienvenu}和\textit{C.P.Porter},J.Symb。日志。84,第1号,393--407(2019;Zbl 1445.03049) 全文: 内政部 arXiv公司
刘、勇 孤立最大直流电度。 (英语) Zbl 07011464号 Ann.纯粹应用。逻辑 170,第4号,515-538(2019).MSC公司:03D25号 03D28号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu},Ann.纯应用程序。逻辑170,No.4,515--538(2019;Zbl 07011464) 全文: 内政部
木原隆树;Ng,Keng Meng女士;阿诺·保利 枚举度和非度量拓扑。 arXiv公司:1904.04107 预印本,arXiv:1904.04107[math.GN](2019)。MSC公司:03D28号 5420国集团 54A05型 54D10号 05年5月54日 BibTeX公司 引用 \textit{T.Kihara}等人,“枚举度和非度量拓扑”,预打印,arXiv:1904.04107[math.GN](2019) 全文: arXiv公司 OA许可证
希尔弗·冈洛夫;阿隆索·埃雷拉;克里斯托巴尔·罗哈斯;马修·萨布利克 关于拓扑熵的可计算性:一般方法。 arXiv:1906.01745年 预印本,arXiv:1906.01745[math.DS](2019)。MSC公司:37B40码 03D78号 03D28号 BibTeX公司 引用 \textit{S.Gangloff}等人,“关于拓扑熵的可计算性:一般方法”,Preprint,arXiv:1906.01745[math.DS](2019) 全文: arXiv公司 OA许可证
安德烈·萨里耶夫。;赫里斯托·甘切夫 图灵度中的可定义性问题。 (英语) Zbl 1474.03096号 上帝。沙发。法国大学。材料通知。 105, 45-54 (2018).MSC公司:03D28号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Sariev}和\textit{H.Ganchev},上帝。沙发。法国大学。材料通知。105、45-54(2018;Zbl 1474.03096) 全文: 链接
伯努瓦·莫宁 伽马问题的答案。 (英语) Zbl 1453.03042号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。730-738 (2018).MSC公司:03天32分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{B.Monin},in:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年LICS,英国牛津,2018年7月9-12日。纽约州纽约市:计算机协会(ACM)。730--738(2018;Zbl 1453.03042) 全文: 内政部
詹妮弗·丘布;Dabkowski,Mieczyslaw K。;瓦伦蒂娜·哈里扎诺夫 具有任意算法复杂性排序的组。 (英语) Zbl 1448.03023号 Friedman,Sy-David(编辑)等人,《集合与计算》。新泽西州哈肯萨克:《世界科学》。莱克特。注释序列。,Inst.数学。科学。,国家。新加坡大学。33, 221-251 (2018).MSC公司:03C57 03D45号 2015年1月6日 03D28号 20甲15 2010年1月20日 20E26型 PDF格式BibTeX公司 XML格式引用 \textit{J.Chubb}等人,Lect。注释序列。,Inst.数学。科学。,国家。新加坡大学。33、221--251(2018;Zbl 1448.03023) 全文: 内政部
安德烈·莫罗佐夫;保罗·舒普 可计算排列和单词问题。 (英语) Zbl 1512.20106号 Enseign公司。数学。(2) 64,编号1-2,143-160(2018).MSC公司:2010年1月20日 03D28号 03天80 20B07型 PDF格式BibTeX公司 XML格式引用 \textit{A.Morozov}和\textit{P.Schupp},Enseign。数学。(2) 64,编号1--2,143-160(2018;Zbl 1512.20106) 全文: 内政部
Selivanov,V.L。;M.M.亚马列夫。 算术层次细化中的图灵度。 (英语。俄文原件) Zbl 1485.03155号 代数逻辑 57,第3期,222-236(2018); 《代数逻辑》57,第3期,338-361(2018)的译文。MSC公司:03D28号 03日30分 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}和\textit{M.M.Yamaleev},代数逻辑57,No.3,222--236(2018;Zbl 1485.03155);《代数逻辑》57,第3期,第338--361页的译文(2018) 全文: 内政部
塞巴斯蒂安·特维恩。 递归定理的推广。 (英语) Zbl 1477.03163号 J.塞姆。日志。 83,第4号,1683-1690(2018).MSC公司:03D25号 03D28号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Terwijn},J.Symb。日志。83,第4号,1683-1690(2018;Zbl 1477.03163) 全文: 内政部 arXiv公司
王伟 泛型的相对可定义性。 (英语) Zbl 1522.03161号 J.塞姆。日志。 83,第4期,1345-1362(2018).MSC公司:03D28号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},J.Symb。日志。83,第4号,1345--1362(2018;Zbl 1522.03161) 全文: 内政部 arXiv公司
瓦斯科·布拉特卡;马修·亨特拉斯;亚历山大·克鲁泽。 关于Baire范畴定理的统一计算内容。 (英语) Zbl 1455.03080号 圣母院J.形式逻辑 59,编号4,605-636(2018).MSC公司:03层60 03D28号 03D78号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人,圣母院J.形式逻辑59,No.4,605--636(2018;Zbl 1455.03080) 全文: 内政部 arXiv公司 欧几里得
莉莉亚娜·巴迪略;查尔斯·M·哈里斯。;玛丽亚·索斯科娃。 枚举1-局部枚举度中的泛型。 (英语) 兹比尔1455.03054 圣母院J.形式逻辑 59,第4号,461-489(2018).MSC公司:03日30分 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{L.Badillo}等人,《圣母院J.形式逻辑》59,第4期,461--489(2018;Zbl 1455.03054) 全文: 内政部 欧几里得 链接
维克托·塞利瓦诺夫。;Mars M.亚马列夫。 将库伯定理推广到\(\Delta_3^0\)图灵度。 (英语) Zbl 1435.03071号 可计算性 7,编号2-3,289-300(2018).MSC公司:03D28号 03D25号 03D55号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}和\textit{M.M.Yamaleev},可计算性7,No.2--3289--300(2018;Zbl 1435.03071) 全文: 内政部
安德鲁·佩伊(Andrew E.M.Lewis-Pye)。 在图灵度中寻找自然可定义性。 (英语) 兹比尔1435.03070 可计算性 7,编号2-3,189-235(2018).MSC公司:03D28号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{A.E.M.Lewis-Pye},可计算性7,No.2--3,189--235(2018;Zbl 1435.03070) 全文: 内政部
赫里斯托·甘切夫(Hristo A.Ganchev)。;玛丽亚·索斯科娃。 枚举度中的跳转层次结构。 (英语) Zbl 1435.03069号 可计算性 第7号,第2-3号,179-188(2018).MSC公司:03D28号 03D55号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Ganchev}和\textit{M.I.Soskova},可计算性7,No.2--3179-188(2018;Zbl 1435.03069) 全文: 内政部
S.Barry库珀;李昂生;夏明基 图灵度中的分裂和跳跃反转。 (英语) 兹比尔1435.03066 可计算性 7,编号2-3,133-142(2018).MSC公司:03D25号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{S.B.Cooper}等人,《可计算性7》,第2期,第3期,第133期,第142页(2018年;Zbl 1435.03066) 全文: 内政部
迪诺·罗塞格 结构的基本可嵌入性谱。 (英语) Zbl 1509.03112号 Manea,Florin(编辑)等人,《计算世界中的帆船路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议,CiE 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10936, 349-358 (2018).MSC公司:03C57 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{D.Rossegger},莱克特。注释计算。科学。10936,349--358(2018;Zbl 1509.03112) 全文: 内政部
Timothy H.麦克尼科尔。;斯图尔,唐 可计算的\(\ell^p\)副本的等距度。 (英语) Zbl 1480.03032号 Manea,Florin(编辑)等人,《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议,CiE 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10936, 277-286 (2018).MSC公司:03D78号 03D45号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{T.H.McNicholl}和\textit{D.Stull},莱克特。注释计算。科学。10936,277--286(2018;Zbl 1480.03032) 全文: 内政部
比约恩Kjos-Hanssen 整数的置换只导致图灵度的平凡自同构。 (英语) Zbl 1522.03160号 牛市。符号。日志。 24,第2期,165-174(2018).MSC公司:03D28号 03日30分 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{B.Kjos-Hanssen},公牛。符号。日志。24,第2号,165--174(2018;Zbl 1522.03160) 全文: 内政部 arXiv公司 反向链接: 卫生官员
诺姆·格林伯格;丹·特雷茨基 强大的跳跃追踪能力。 (英语) Zbl 1522.03157号 牛市。符号。日志。 24,第2期,147-164(2018).MSC公司:03D25号 03D28号 03天32分 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}和\textit{D.Turetsky},公牛。符号。日志。24,编号2147-164(2018;兹bl 1522.03157) 全文: 内政部
埃里克·阿斯托。 本征密度的计算内容。 (英语) Zbl 1436.03223号 J.塞姆。日志。 83,第2期,817-828(2018). 审核人:杰弗里·赫斯特(布恩) MSC公司:03D28号 03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{E.P.Astor},J.塞姆。日志。83,编号21817-828(2018;兹bl 1436.03223) 全文: 内政部 arXiv公司
罗德·唐尼;乔纳森·斯蒂芬森 避免有效包装维度1低于数组不可争辩的c.e.度。 (英语) Zbl 1415.03047号 J.塞姆。日志。 83,第2期,717-739(2018). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}和\textit{J.Stephenson},J.Symb。日志。83,编号2,717--739(2018;Zbl 1415.03047) 全文: 内政部
琳达·布朗·韦斯特里克 Scott集合中的弱2-随机和1-泛型。 (英语) Zbl 1447.03007号 J.塞姆。日志。 83,第1号,392-394(2018).MSC公司:03D28号 03天32分 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Brown Westrick},J.Symb。日志。83,第1号,392--394(2018;Zbl 1447.03007) 全文: 内政部 arXiv公司
尼古拉·巴热诺夫(Nikolay A.Bazhenov)。;Iskander Sh.Kalimullin。;Mars M.亚马列夫。 分类度和谱维。 (英语) Zbl 1447.03008号 J.塞姆。日志。 83,第1期,103-116(2018).MSC公司:03D45号 03C57 03C35号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Bazhenov}等人,J.Symb。日志。83,第1号,第103--116条(2018;Zbl 1447.03008) 全文: 内政部
菲利普·莫瑟;弗兰克·斯蒂芬 极限深度和DNR度。 (英语) Zbl 1476.03059号 信息处理。莱特。 135, 36-40 (2018).MSC公司:03天32分 03D28号 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{P.Moser}和\textit{F.Stephan},Inf.过程。莱特。135、36-40(2018;Zbl 1476.03059) 全文: 内政部 链接
纽约州约翰·富兰克林。;丹·特雷茨基 同构和泛化程度的低。 (英语) Zbl 1435.03068号 可计算性 7、第1、1-6号(2018).MSC公司:03D28号 03D25号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Y.Franklin}和\textit{D.Turetsky},可计算性7,第1期,1--6期(2018;Zbl 1435.03068) 全文: 内政部
大卫·R·贝朗格。;理查德·肖尔(Richard A.Shore)。 在递归可枚举度以下的度的跳跃上。 (英语) Zbl 1455.03052号 圣母院J.形式逻辑 59,第1期,91-107(2018).MSC公司:03D25号 03D28号 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Belanger}和\textit{R.A.Shore},《圣母院J.形式逻辑》59,第1期,91-107(2018;Zbl 1455.03052) 全文: 内政部 欧几里得 链接
西奥多·斯莱曼(Theodore A.Slaman)。;玛丽亚·索斯科娃。 图灵度:自同构和可定义性。 (英语) Zbl 1445.03047号 事务处理。美国数学。Soc公司。 370,第2期,1351-1375(2018). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D28号 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.斯拉曼}和\textit{M.I.索斯科娃},翻译。美国数学。Soc.370,No.2,1351--1375(2018;Zbl 1445.03047) 全文: 内政部
艾哈迈特·切维克 康托空间有效闭集中的可数链和无限连接。 arXiv:1807.07261 预印本,arXiv:1807.07261[math.LO](2018)。MSC公司:03D25号 03D28号 BibTeX公司 引用 \textit{A.Jo-evik},“康托空间有效闭集中的可数链和无限连接”,预印,arXiv:1807.07261[math.LO](2018) 全文: arXiv公司 OA许可证
斯科特·亚伦森;陈丽杰 量子优势实验的复杂性理论基础。 (英语) Zbl 1451.81157号 Ryan O'Donnell(编辑),第32届计算复杂性会议,CCC 2017年7月6日至9日,拉脱维亚里加。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。79,第22条,第67页(2017年)。 审核人:亚历山大·尤里维奇·弗拉索夫(桑克-佩特堡) MSC公司:81页68 2012年第68季度 03D28号 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Aaronson}和\textit{L.Chen},LIPIcs——莱布尼茨国际程序。通知。79,第22条,第67页(2017年;Zbl 1451.81157) 全文: 内政部 arXiv公司
Faizrahmanov,M.Kh。 广义可计算枚举的Rogers半格。 (英语。俄文原件) Zbl 1420.03094号 同胞。数学。J。 58,第6号,1104-1110(2017); 来自Sib的翻译。材料Zh。58,第6期,1418-1427(2017)。MSC公司:03D28号 03D45号 2011年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kh.Faizrahmanov},西布。数学。J.58,No.6,1104--1110(2017;Zbl 1420.03094);来自Sib的翻译。材料Zh。58,第6号,1418--1427(2017) 全文: 内政部
瓦斯科·布拉特卡;马修·亨特拉斯;亚历山大·克鲁泽。 关于可计算性理论的统一计算内容。 (英语) Zbl 1420.03110号 理论计算。系统。 61,第4期,1376-1426(2017).MSC公司:03D78号 03D25号 03D28号 03天32分 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人,理论计算。系统。61,第4号,1376--1426(2017;Zbl 1420.03110) 全文: 内政部 arXiv公司