Effective operators with no strong gaps*
作者：
Highlights：
•
摘要
Some consequences of Blum's axioms for step counting functions are investigated. Blum has suggested in [1, p. 335] that for the operation of self-composition there is no strong gap, i.e.,∃j[t(x)<Φj(x)
论文关键词：
论文评审过程：Received 3 August 1970, Available online 31 December 2007.
论文官网地址：https://doi.org/10.1016/S0022-0000(72)80040-0
