初等関数算術
ロビンソン算術に有界論理式に対する帰納法の公理を追加し、さらに指数関数の全域性を示す論理式を公理に追加することによって、二項関数記号 exp {\displaystyle \exp } を落とすことができる。これはEFAと類似の体系で、同じ証明論的な強さを持つが、そこでの作業はより面倒なことになる。 二項関数記号 exp {\displaystyle \exp } を忘却することができる。
EFAと同じ証明論的な強さを持ち、 Π 2 0 {\displaystyle \Pi _{2}^{0}} 保存的な、二階算術の弱い断片が幾つか存在する。それらはRCA*0 とWKL*0と呼ばれる。これらは逆数学においてしばしば研究される(Simpson 2009)。
初等帰納的算術(英: elementary recursive arithmetic、ERA)は原始帰納的算術(PRA)の部分体系であり、再帰を限定和と限定積に制限したものである。