In mathematical logic, the Kanamori–McAloon theorem, due to Kanamori & McAloon (1987), gives an example of an incompleteness in Peano arithmetic, similar...

g_{x}} is Graham's function. Paris–Harrington theorem Kanamori–McAloon theorem Robertson–Seymour theorem ^ a Friedman originally denoted this function...

Japanese footballer Kanamori clan (金森氏, Kanamori-shi), Sengoku period Japanese clan Kanamori–McAloon theorem, mathematical logic theorem This page lists people...

functions such as the Ackermann function. Goodstein's theorem Kanamori–McAloon theorem Kruskal's tree theorem Ketonen, Jussi; Solovay, Robert (1981). "Rapidly...

proposed and studied by Harvey Friedman. Goodstein's theorem Paris–Harrington theorem Kanamori–McAloon theorem [FOM] 274:Subcubic Graph Numbers [FOM] 279:Subcubic...

arithmetic Fast-growing hierarchy Paris–Harrington theorem Kanamori–McAloon theorem Kruskal's tree theorem Kirby & Paris 1982. Rathjen 2014, lemma 2.2. Goodstein...

Kachurovskii's theorem (convex analysis) Kanamori–McAloon theorem (mathematical logic) Kantorovich theorem (functional analysis) Kaplansky density theorem (von...