马沙弘·库马贝;铃木,Toshio;山崎武史 线性范数的真值表是否将单查询重言式简化为随机预言? (英语) Zbl 1149.68031号 拱门。数学。逻辑 47,第2号,159-180(2008).MSC公司:2015年第68季度 2015年3月1日 03日30分 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kumabe}等人,Arch。数学。逻辑47,No.2,159--180(2008;Zbl 1149.68031) 全文: 内政部
阿明·海默林 欧几里德空间中的Hausdorff-Ershov层次。 (英语) Zbl 1095.03031号 拱门。数学。逻辑 45,第3期,323-350(2006). 审核人:宁忠(辛辛那提) MSC公司:03D65年 03D55号 2015年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Hemmerling},拱门。数学。逻辑45,No.3,323--350(2006;Zbl 1095.03031) 全文: 内政部
吴永成;丁德成 可测集合通过有效拓扑的可计算性。 (英语) Zbl 1094.03049号 拱门。数学。逻辑 45,第3期,365-379(2006). 审核人:宁忠(辛辛那提) MSC公司:03层60 03D45号 03天80 03天35分 28A05号 28A33型 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wu}和\textit{D.Ding},拱门。数学。逻辑45,第3号,365-379(2006;Zbl 1094.03049) 全文: 内政部
铃木,Toshio 有界真值表并没有将单查询重言式简化为随机预言。 (英语) Zbl 1087.03024号 拱门。数学。逻辑 44,第6期,751-762(2005). 审核人:郑希忠(科特布斯) MSC公司:2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.铃木},拱门。数学。逻辑44,No.6,751--762(2005;Zbl 1087.03024) 全文: 内政部