Greedy clique sequences are a concept from graph theory that leads to three fast-growing functions. Defined by Harvey Friedman in 2010, the resulting functions are some of the strongest Friedman has ever defined.
| Identifier (URI) | Rank |
|---|---|
| dbkwik:resource/SbQtA1BTs644FkTRCc1PQw== | 5.88129e-14 |