Talk:Primitive recursive set function
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)