MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 added 500 characters in body

Although it may seem difficult to extend this idea to uncountable families of functions, the fact is that it is consistent with the ZFC axioms of set theory that one may do so. Specifically, the bounding number $\frak{b}$ is the size of the smallest family of functions $f:\mathbb{N}\to\mathbb{N}$ which are not (eventually) bounded by any single function. The observation above shows that the bounding number is uncountable, and it is clearly at most continuum, so under the continuum hypothesis the bounding number is precisely $\aleph_1$. The interesting thing, however, is that the bounding number can be strictly larger than $\aleph_1$, and indeed, by the method of forcing, it can be made as large as you like.

There are numerous interesting set-theoretic issues arising in connection with this hierarchythe bounding number and the other cardinal characteristics of the continuum, some of which I explain in my answer to the MO question Is there a topology on growth rates of functions?. Perhaps the most related to this question are the dominating number and the bounding numberand dominating numbers, which provide two distinct concepts of measuring the height of the order. For example, the fact that every countable family of functions is bounded is generalized by the fact that every family of functions of size less than the bounding number is also bounded, and it is consistent with ZFC and the failure of the continuum hypothesis that the bounding number is very large.

show/hide this revision's text 2 added 616 characters in body

An easy diagonalization shows that for every countable family of functions $g_n:\mathbb{N}\to\mathbb{N}$, there is a function $f$ eventually exceeding any one of them. Just let $f(n)=\sup_{k\leq n}g_k(n)+1$.

There are numerous interesting set-theoretic issues arising in connection with this hiearchyhierarchy, some of which I explain in my answer to the MO question Is there a topology on growth rates of functions?. Perhaps the most related are the dominating number and the bounding number, which provide two concepts of measuring the height of the order. For example, the fact that every countable family of functions is bounded is generalized by the fact that every family of functions of size less than the bounding number is also bounded, and it is consistent with ZFC and the failure of the continuum hypothesis that the bounding number is very large.

These concepts are also mentioned in several other MO answers, such as here.

show/hide this revision's text 1

An easy diagonalization shows that for every countable family of functions $g_n:\mathbb{N}\to\mathbb{N}$, there is a function $f$ eventually exceeding any one of them. Just let $f(n)=\sup_{k\leq n}g_k(n)+1$.

There are numerous interesting set-theoretic issues arising in connection with this hiearchy, some of which I explain in my answer to the MO question Is there a topology on growth rates of functions?.