Bootstrapping the Primitive Recursive Functions by 47 Colors

Søren Riis

August 1994

Abstract:

I construct a concrete coloring of the 3 element subsets of tex2html_wrap_inline28. It has the property that each homogeneous set tex2html_wrap_inline30 has its elements spread so much apart that tex2html_wrap_inline32 for tex2html_wrap_inline34. It uses only 47 colors. This is more economical than the approximately 160000 colors used by Ketonen and Solovay.

Available as PostScript, PDF, DVI.

 

Last modified: 2003-06-08 by webmaster.