@第{zbMATH02207218条，作者={Arai，Toshiyasu}，标题={（\Pi_{1}^{0}\）}}-{FIX}}的ε替换方法中的思想，FJournal＝{纯粹与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={136}，数字={1-2}，页码={3--21}，年份={2005}，语言={英语}，DOI={10.1016/j.apal.2005.05.004}，关键词={03F05,03F15,03F35,03D70}，zbMATH={2207218}，Zbl={1116.03051}}