关于高等规则的研究

在文献[1]中我们曾把规则分为初等的和高等的两种,本文专对高等规则作了较详尽的探讨,对迄今出现在递归算术中的高等规则作了多方面的推广,得到了多种类型的高等规则,并讨论了它们之间的(相对于某个初等系统的)强弱关系与等价关系。