首页    期刊浏览 2025年04月16日 星期三
登录注册

文章基本信息

  • 标题:Bootstrapping the Primitive Recursive Functions by 47 Colors
  • 本地全文:下载
  • 作者:Søren Riis
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:1994
  • 卷号:1
  • 期号:25
  • 出版社:Aarhus University
  • 摘要:I construct a concrete coloring of the 3 element subsets of N. It has the property that each homogeneous set {s_0, s_1, s_2, ..., s_r}, r >= s_0 - 1 has its elements spread so much apart that F_{omega}(s_i) < s_{i+1} for i = 1, 2, ..., r -1. It uses only 47 colors. This is more economical than the approximately 160000 colors used by Ketonen and Solovay.
国家哲学社会科学文献中心版权所有