PRAはRCA＋Σ1^0＋IAの保存的拡大。
よってPRAのがRCA0より大きい。
またACA上ではPRAやPAは一般的に2階算術の拡大になる。