@第{zbMATH02238614条，作者={Arai，T.}，标题={{（[\Pi^0_1，\Pi^01]\）}}-{FIX}}的{Epsilon替换方法，FJournal={数理逻辑档案}，日志={Arch.Math.Logic}，ISSN={0933-5846}，体积={44}，数字={8}，页码={1009--1043}，年份={2005}，语言={英语}，DOI={10.1007/s00153-005-0290-2}，关键词={03F05,03F15,03F35,03D70}，zbMATH={2238614}，Zbl={1116.03050}}