Talk:Primitive recursive set function

Form of definition

It is quite hard to see how the definition of primitive recursive set function relates to that of primitive recursive arithmetic function because the mathematical forms are so different. One uses vectors of variables and the other elided lists, for example. It would be great if someone could rewrite this definition in the same formal language used to describe primitive recursive arithmetic functions. Ian.A.N.Grant (talk) 11:15, 21 June 2023 (UTC)