卢皮尼、马蒂诺;亚历山大·梅尔尼科夫;安德烈·涅斯 可计算拓扑阿贝尔群。 (英文) Zbl 07622334号 J.代数 615, 278-327 (2023).MSC公司:03D45号 03C57号 2005年2月22日 PDF格式BibTeX公司 XML格式引用 \textit{M.Lupini}等人,J.代数615,278--327(2023;Zbl 07622334) 全文: 内政部 arXiv公司
安德烈·涅斯 有效稠密布尔代数及其应用。 (英文) Zbl 0958.03023号 事务处理。美国数学。Soc公司。 352,第11号,4989-5012(2000). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03C57号 03D45号 03D25号 2015年3月1日 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies},翻译。美国数学。Soc.352,No.11,4989--5012(2000;Zbl 0958.03023) 全文: 内政部
利奥·哈灵顿;安德烈·涅斯 按可枚举集的部分顺序编码。 (英文) Zbl 0890.03016号 高级数学。 133,第1期,133-162(1998). 审核人:L.Harkleroad(伊萨卡) MSC公司:03D25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{L.Harrington}和\textit{A.Nies},高级数学。133,第1号,133--162(1998;Zbl 0890.03016) 全文: 内政部
巴哈迪尔·库萨诺夫;安德烈·涅斯;理查德·肖尔(Richard A.Shore)。 理论的可计算模型,很少有模型。 (英文) Zbl 0891.03013号 圣母院J.形式逻辑 38,编号2165-178(1997).MSC公司:03C57号 03C35号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov}等人,《圣母院J.形式逻辑》38,第2期,165--178(1997;Zbl 0891.03013) 全文: 内政部
Nies,A。 基础理论中无法解释的片段。 (英文) Zbl 0838.03035号 代数大学。 35,编号1,8-33(1996). 审核人:A.S.莫罗佐夫(新西伯利亚) MSC公司:03天35分 03D45号 03B25号 03C13号机组 03D25号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies},代数大学。35,编号1,8--33(1996;Zbl 0838.03035) 全文: 内政部
斯泰芬·伦普;安德烈·涅斯 关于r.e.wtt和Turing度的(Pi_4)理论的不可判定性。 (英文) Zbl 0846.03018号 J.塞姆。日志。 60,第4期,1118-1136(1995). 审核人:郑希忠(哈根) MSC公司:03天35分 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lempp}和\textit{A.Nies},J.Symb。日志。60,第4号,1118--1136(1995;Zbl 0846.03018) 全文: 内政部
安德烈·涅斯;理查德·肖尔(Richard A.Shore)。 用真值表度理论解释真值算术。 (英文) Zbl 0836.03023号 Ann.纯粹应用。逻辑 75,第3号,269-311(1995). 审核人:郑希忠(海德堡) MSC公司:03D25号 30楼03号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}和\textit{R.A.Shore},Ann.Pure Appl。逻辑75,No.3,269--311(1995;Zbl 0836.03023) 全文: 内政部 OA许可证
Nies,A。 关于递归可枚举\(m\)-度的最后一个问题。 (英语。俄文原件) Zbl 0846.03017号 代数逻辑 33,第5号,307-314(1994); 翻译自代数罗技33,第5期,550-563(1994)。 审核人:郑希忠(哈根) MSC公司:03D25号 30楼03号 2015年3月1日 03C62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies},代数逻辑33,No.5,1(1994;Zbl 0846.03017);《代数逻辑33》第5期第550-563页的译文(1994) 全文: 内政部 欧洲DML