Successor function

The successor function is the function \(f(x) = x + 1\). authority.20110803100540531 All early formal attempts at defining the largest number were based around finding different methods for using recursion on the successor function. The successor function is still important for defining large numbers as many functions like busy beaver and Rayo use non-intuitive definitions of natural numbers, for which the successor function must be defined in order to establish what they are calculating is actually a number.

Nomenclature
It is usually considered the 0th hyperoperation, and is thus sometimes called zeration or incrementation, as well as hyper0.

Successor function is commonly denoted by \(S(n)\) (not to be confused with maximum shifts function.)

An ordinal \(\alpha\) is sometimes called successor ordinal if it is in the form \(\alpha = \beta+1\).

Related functions
in some fields, the terms "zeration" and "hyper0" are ambigous and can also refer to several binary operators which satisify $f(f(a,a),a...) text{\(b times\)} = a+b$, including the function: f(a,b) = a + 1, a > b f(a,b) = b + 1, if a < b f(a,b) = a + 2 = b + 2 , if a = b