@第{zbMATH05886782条，作者={Arai，Toshiyasu}，标题={ε进程的精确边界}，FJournal={数理逻辑档案}，日志={Arch.Math.Logic}，ISSN={0933-5846}，体积={50}，数字={3-4}，页码={445--458}，年份={2011}，语言={英语}，DOI={10.1007/s00153-010-0225-4}，关键词={03F05,03F35}，zbMATH={5886782}，Zbl={1225.03074}}