Primitive recursive set function

Known as: Primitive recursive ordinal function

In mathematics, primitive recursive set functions or primitive recursive ordinal functions are analogs of primitive recursive functions, defined for…