Gimel function
From Wikipedia, the free encyclopedia
In axiomatic set theory, the gimel function is the following function mapping cardinal numbers to cardinal numbers:
where cf denotes the cofinality function; the gimel function is used for studying the continuum function and the cardinal exponentiation function. The gimel function is seen to be increasing by König's theorem.