>>372
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.37.2127&rep=rep1&type=pdf
の2.1.Z2は2階算術全般のこと、RCAとかACAも入る。