Hello.

I study primitive recursive arithmetic and have the following questions.

1. Is it possible to express in the PRA that Ackermann function is total?

2. If yes, is such expression decidable in the PRA ?

Can u suggest some literature on this topic?

Thank you.