阿莱,T。 ([\Pi^0_1,\Pi^01]\)-FIX的Epsilon替换方法。 (英语) Zbl 1116.03050号 架构(architecture)。数学。逻辑 44,第8期,1009-1043(2005). 审核人:安东·塞泽尔(斯旺西) MSC公司:05年3月 2015年1月3日 35楼03号 03日70 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},拱门。数学。逻辑44,No.8,1009--1043(2005;Zbl 1116.03050) 全文: 内政部
阿莱、东山英彦 (Pi_{1}^{0})-FIX的ε替换方法中的思想。 (英语) Zbl 1116.03051号 Ann.纯粹应用。逻辑 136,第1-2、3-21号(2005). 审核人:安东·塞泽尔(斯旺西) MSC公司:05年3月 2015年1月3日 35楼03号 03日70 PDF格式BibTeX公司 XML格式引用 \textit{T.Arai},Ann.纯苹果。逻辑136,编号1--2,3--21(2005;Zbl 1116.03051) 全文: 内政部
亨利·托斯纳 超限诱导的ε替代。 (英语) Zbl 1066.03058号 架构(architecture)。数学。逻辑 44,第4期,397-412(2005). 审核人:G.E.Mints(斯坦福) MSC公司:30楼03号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Towsner},Arch(拱门)。数学。逻辑44,No.4,397--412(2005;Zbl 1066.03058) 全文: 内政部