Primitive_recursive_ordinal_function