Bootstrapping the primitive recursive functions by only 27 colors
Author/Authors :
S?ren Riis، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1997
Pages :
4
From page :
269
To page :
272
Abstract :
A coloring of the 3-element subsets of N with 27 colors is given such that if {s0, s1, s2, …, sr} (r ⩾ s0 − 1) is homogeneous, then Fω(si) < si+1 (i < τ) where Fω is an Ackermann-like function.