Let $\mathbf{A}$ be an admissible set (possibly with urelements). I am wondering if there is some good notion of "primitive recursive arithmetic" relative to $\mathbf{A}$. More precisely, I would like to single out a class of $\Pi_{2}$-sentences (with parameters) about $\mathbf{A}$ which reduces to the class of $\Pi_{2}$-theorems of PRA when specialized to the case where $\mathbf{A}$ is the set of hereditarily finite sets. In particular, I would like to single out a special class of "provably total" $\Sigma_1$-definable functions on $\mathbf{A}$, which reduces to the class of primitive recursive functions when $\mathbf{A} =$ hereditarily finite sets.

I would be grateful for any pointers to relevant literature. If it helps, I am primarily interested in the case where $\mathbf{A}$ is the smallest admissible set containing some mathematical structure $M$ (that is, $\mathbf{A} = HYP_M$, in the notation of Barwise's book).

1more comment