罗德·唐尼;诺姆·格林伯格;亚历山大·梅尔尼科夫;孟吴,Keng;丹尼尔·图雷茨基 准时的明确性和普遍性。 (英语) Zbl 1485.03174号 J.塞姆。日志。 85,第4期,1427-1466(2020).MSC公司:03D45号 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Symb。日志。85,第4号,1427--1466(2020;Zbl 1485.03174) 全文: 内政部
罗德尼·唐尼;马修·哈里森·特雷纳;伊斯坎德卡利穆林;亚历山大·梅尔尼科夫;丹尼尔·图雷茨基 对于在线可计算性来说,图形并不是通用的。 (英语) Zbl 1476.03046号 J.计算。系统。科学。 112, 1-12 (2020). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Downey}等人,J.Compute。系统。科学。112、1-12(2020年;Zbl 1476.03046) 全文: 内政部
叶卡捷琳娜·福基纳;瓦伦蒂娜·哈里扎诺夫;丹尼尔·图雷茨基 可计算性理论分类和Scott家族。 (英语) Zbl 1441.03031号 Ann.纯粹应用。逻辑 170,编号699-717(2019). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03D45号 03C57号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{E.Fokina}等人,Ann.Pure Appl。逻辑170,No.6,699--717(2019;Zbl 1441.03031) 全文: 内政部
诺姆·格林伯格;亚历山大·梅尔尼科夫;安德烈·涅斯;丹尼尔·图雷茨基 无限对称群的有效闭子群。 (英语) Zbl 1522.03170号 程序。美国数学。Soc公司。 146,第12号,5421-5435(2018).MSC公司:03D45号 03C57号 03天80 20B35码 PDF格式BibTeX公司 XML格式引用 \textit{N.Greenberg}等人,Proc。美国数学。Soc.146,No.12,5421--5435(2018;Zbl 1522.03170) 全文: 内政部