@第{zbMATH07086663条，作者={Basold、Henning和Hansen、Helle Hvid}，标题={归纳-归纳程序的良好定义和观测等价}，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={29}，数字={4}，页码={419--468}，年份={2019}，语言={英语}，DOI={10.1093/logcom/exv091}，关键词={68N30,03B70,18C50}，zbMATH={7086663}，Zbl={1452.68044}}